semprop results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1031156924.99
ASP_Program_Inclusion9140248.55
blackbox_design131176932.33
Blocks882136845.55
C432411214470.93
C49930115074.67
C53154124636.02
C628810138.9
C88018268.7
Chain3942.24
comp813168.12
Connect438132259.43
Counter2128418.16
CounterFactual920160119192731.03
evader-pursuer-4x4-logarithmic37118920.66
evader-pursuer-6x6-logarithmic1622735.56
evader-pursuer-8x8-logarithmic3646259.48
FPGA_PLB_FIT_FAST24217.2
FPGA_PLB_FIT_SLOW25110831.13
jmc_quant2112620.76
jmc_quant_squaring2816828
k_branch_n182425.97
k_branch_p2331743.37
k_d4_n42123452.82
k_d4_p36312178.92
k_dum_n3252
k_dum_p38462.27
k_grz_n36215678.33
k_grz_p37312048.28
k_lin_n276154.58
k_lin_p2816827.81
k_path_n33212263.95
k_path_p33216217.2
k_ph_n2016701.67
k_ph_p42404
k_poly_n4267.77
k_poly_p1132260.57
k_t4p_n39118196.68
k_t4p_p51124064.44
Logn19251.73
mA-t2-1qbf-5cnf-160var-2560cl2047217.4
mA-t2-1qbf-5cnf-80var-2560cl2012019.32
mA-t2-2qbf-5cnf-160var-2560cl20100.34
mA-t2-2qbf-5cnf-160var-320cl20111238.78
mA-t2-2qbf-5cnf-160var-5120cl20100.44
mA-t2-2qbf-5cnf-40var-160cl2039066.08
mA-t2-2qbf-5cnf-40var-320cl2091293.68
mA-t2-2qbf-5cnf-40var-640cl20100.1
mA-t2-2qbf-5cnf-80var-1280cl20100.18
mA-t2-2qbf-5cnf-80var-320cl20110817.7
mA-t2-2qbf-5cnf-80var-640cl2073905.58
mA-t2-3qbf-5cnf-160var-2560cl2010290.74
mA-t2-3qbf-5cnf-160var-640cl20100.1
mA-t2-3qbf-5cnf-20var-160cl20100.16
mA-t2-3qbf-5cnf-20var-320cl20100.28
mA-t2-3qbf-5cnf-40var-320cl20910.88
mA-t2-3qbf-5cnf-40var-640cl20100.48
mA-t2-3qbf-5cnf-80var-1280cl20105.76
mA-t2-3qbf-5cnf-80var-2560cl20100.26
mA-t2-3qbf-5cnf-80var-320cl20100.08
mA-t2-4qbf-5cnf-160var-2560cl20104.12
mA-t2-4qbf-5cnf-160var-5120cl20100.54
mA-t2-4qbf-5cnf-160var-640cl2012019.98
mA-t2-4qbf-5cnf-20var-160cl2028130.24
mA-t2-4qbf-5cnf-20var-320cl20100.18
mA-t2-4qbf-5cnf-20var-640cl20100.12
mA-t2-4qbf-5cnf-40var-1280cl20100.26
mA-t2-4qbf-5cnf-40var-320cl2056041.08
mA-t2-4qbf-5cnf-40var-640cl20100.2
mA-t2-4qbf-5cnf-80var-1280cl20100.3
mA-t2-4qbf-5cnf-80var-2560cl20100.26
mA-t2-4qbf-5cnf-80var-320cl2065514.24
mA-t2-5qbf-5cnf-160var-2560cl2092715.32
mA-t2-5qbf-5cnf-160var-5120cl20101.64
mA-t2-5qbf-5cnf-160var-640cl20100.12
mA-t2-5qbf-5cnf-20var-320cl20100.38
mA-t2-5qbf-5cnf-20var-640cl20100.1
mA-t2-5qbf-5cnf-40var-1280cl20100.18
mA-t2-5qbf-5cnf-40var-320cl20107.22
mA-t2-5qbf-5cnf-40var-640cl20100.64
mA-t2-5qbf-5cnf-80var-1280cl201014.16
mA-t2-5qbf-5cnf-80var-2560cl20100.48
mA-t2-5qbf-5cnf-80var-640cl201033.2
mA-t2-6qbf-5cnf-160var-2560cl201041.32
mA-t2-6qbf-5cnf-160var-5120cl20100.52
mA-t2-6qbf-5cnf-160var-640cl20100.08
mA-t2-6qbf-5cnf-20var-160cl208113.78
mA-t2-6qbf-5cnf-20var-320cl20100.36
mA-t2-6qbf-5cnf-20var-640cl20100.12
mA-t2-6qbf-5cnf-40var-1280cl20100.22
mA-t2-6qbf-5cnf-40var-320cl203764.86
mA-t2-6qbf-5cnf-40var-640cl20100.96
mA-t2-6qbf-5cnf-80var-1280cl20104.36
mA-t2-6qbf-5cnf-80var-2560cl20100.3
mA-t2-6qbf-5cnf-80var-640cl20110818.1
MutexP4828847.41
Qq2k1k4v40v40m1610550.03
Qq2k1k4v40v40m210100.04
Qq2k1k4v40v40m3210100.05
Qq2k1k4v40v40m410910.03
Qq2k1k4v40v40m810820.02
Qq2k1k4v80v80m1610730.03
Qq2k1k4v80v80m210100.07
Qq2k1k4v80v80m3210280.04
Qq2k1k4v80v80m410100.02
Qq2k1k4v80v80m810100.04
Qq2k2k3v40v40m1610100.06
Qq2k2k3v40v40m210100.02
Qq2k2k3v40v40m3210100.07
Qq2k2k3v40v40m410100.05
Qq2k2k3v40v40m810100.02
Qq2k2k3v80v80m1610100.03
Qq2k2k3v80v80m210100.04
Qq2k2k3v80v80m3210100.03
Qq2k2k3v80v80m410100.06
Qq2k2k3v80v80m810100.02
Qq2k3k2v40v40m1610100.02
Qq2k3k2v40v40m210100.04
Qq2k3k2v40v40m3210100.03
Qq2k3k2v40v40m410100.03
Qq2k3k2v40v40m81090.04
Qq2k3k2v80v80m1610100.04
Qq2k3k2v80v80m210100.02
Qq2k3k2v80v80m3210100.01
Qq2k3k2v80v80m410100.03
Qq2k3k2v80v80m810100.05
Qq3k1k1k3v40v40v40m1610100.05
Qq3k1k1k3v40v40v40m21020.04
Qq3k1k1k3v40v40v40m3210100.02
Qq3k1k1k3v40v40v40m410100.06
Qq3k1k1k3v40v40v40m810100.03
Qq3k1k1k3v80v80v80m1610100.06
Qq3k1k1k3v80v80v80m21020.04
Qq3k1k1k3v80v80v80m3210100.02
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100.06
Qq3k1k2k2v40v40v40m1610100.06
Qq3k1k2k2v40v40v40m2100.03
Qq3k1k2k2v40v40v40m3210100.03
Qq3k1k2k2v40v40v40m410100.05
Qq3k1k2k2v40v40v40m810100.04
Qq3k1k2k2v80v80v80m1610100.06
Qq3k1k2k2v80v80v80m2100.05
Qq3k1k2k2v80v80v80m3210100.06
Qq3k1k2k2v80v80v80m410100.05
Qq3k1k2k2v80v80v80m810100.03
Qq3k1k3k1v40v40v40m1610100.05
Qq3k1k3k1v40v40v40m2100.03
Qq3k1k3k1v40v40v40m3210100.03
Qq3k1k3k1v40v40v40m410100
Qq3k1k3k1v40v40v40m810100.07
Qq3k1k3k1v80v80v80m1610100.06
Qq3k1k3k1v80v80v80m2100.04
Qq3k1k3k1v80v80v80m3210100.02
Qq3k1k3k1v80v80v80m410100.05
Qq3k1k3k1v80v80v80m810100.06
Qq3k2k1k2v40v40v40m1610100.07
Qq3k2k1k2v40v40v40m21020.04
Qq3k2k1k2v40v40v40m3210100.03
Qq3k2k1k2v40v40v40m410100.06
Qq3k2k1k2v40v40v40m810100.04
Qq3k2k1k2v80v80v80m1610100.04
Qq3k2k1k2v80v80v80m21020.07
Qq3k2k1k2v80v80v80m3210100.05
Qq3k2k1k2v80v80v80m410100.03
Qq3k2k1k2v80v80v80m810100.06
Qq3k2k2k1v40v40v40m1610100.03
Qq3k2k2k1v40v40v40m21020.06
Qq3k2k2k1v40v40v40m3210100.03
Qq3k2k2k1v40v40v40m410100.05
Qq3k2k2k1v40v40v40m810100.02
Qq3k2k2k1v80v80v80m1610100.06
Qq3k2k2k1v80v80v80m21020.06
Qq3k2k2k1v80v80v80m3210100.07
Qq3k2k2k1v80v80v80m410100.04
Qq3k2k2k1v80v80v80m810100.02
Qq3k3k1k1v40v40v40m1610100.07
Qq3k3k1k1v40v40v40m21030.03
Qq3k3k1k1v40v40v40m3210100.05
Qq3k3k1k1v40v40v40m410100.07
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m1610100.03
Qq3k3k1k1v80v80v80m21020.05
Qq3k3k1k1v80v80v80m3210100.04
Qq3k3k1k1v80v80v80m410100.04
Qq3k3k1k1v80v80v80m810100.05
Qshifter444720
RobotsD230117580.81
RobotsD330414090.19
RobotsD432414370.23
RobotsD531611776.43
s272927003.14
s2981710217
s38684808
s499116611
s51042404
s713106009.9
s82084808
Sorting_networks371258147508.65
Strategic_Companies63325372143799.02
SzymanskiP8148676.04
term13832619.34
tipdiam653054.53
tipfixpoint20679104852.62
Toilet1717492.09
ToiletA411152.58
ToiletC310.84
Tree710