SQBF results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1034118637.17
ASP_Program_Inclusion91540433.4
blackbox_design131126755.56
Blocks8847215.32
C432411136565.91
C4993012165.21
C5315412222.63
C62881014418.4
C8801821450.2
Chain3941.24
comp820.08
Connect4381311.53
Counter215664.05
CounterFactual9209768624600
evader-pursuer-4x4-logarithmic37411939.35
evader-pursuer-6x6-logarithmic16212215.75
evader-pursuer-8x8-logarithmic36248314.76
FPGA_PLB_FIT_FAST24320.48
FPGA_PLB_FIT_SLOW251256.62
jmc_quant215541.43
jmc_quant_squaring287285.06
k_branch_n1812445.57
k_branch_p2313407.38
k_d4_n42113693.52
k_d4_p3652.13
k_dum_n3251.08
k_dum_p38416.04
k_grz_n36576.51
k_grz_p37634.25
k_lin_n276328.34
k_lin_p2851.73
k_path_n3351.9
k_path_p3351.99
k_ph_n203553.82
k_ph_p4113.84
k_poly_n4261.72
k_poly_p1130.54
k_t4p_n39680.27
k_t4p_p5166.34
Logn196.46
mA-t2-1qbf-5cnf-160var-2560cl20101155.94
mA-t2-1qbf-5cnf-80var-2560cl20120008.4
mA-t2-2qbf-5cnf-160var-2560cl20749695.42
mA-t2-2qbf-5cnf-160var-320cl2010331.88
mA-t2-2qbf-5cnf-160var-5120cl20384198.98
mA-t2-2qbf-5cnf-40var-160cl205427012.08
mA-t2-2qbf-5cnf-40var-320cl20106818.96
mA-t2-2qbf-5cnf-40var-640cl2010390.2
mA-t2-2qbf-5cnf-80var-1280cl20101090.34
mA-t2-2qbf-5cnf-80var-320cl20119016
mA-t2-2qbf-5cnf-80var-640cl20474366.56
mA-t2-3qbf-5cnf-160var-2560cl209376.74
mA-t2-3qbf-5cnf-160var-640cl2063889.26
mA-t2-3qbf-5cnf-20var-160cl20102747.08
mA-t2-3qbf-5cnf-20var-320cl20102082.12
mA-t2-3qbf-5cnf-40var-320cl2091830.46
mA-t2-3qbf-5cnf-40var-640cl209248.28
mA-t2-3qbf-5cnf-80var-1280cl208366.22
mA-t2-3qbf-5cnf-80var-2560cl20100.22
mA-t2-3qbf-5cnf-80var-320cl20102076.86
mA-t2-4qbf-5cnf-160var-2560cl2010475.18
mA-t2-4qbf-5cnf-160var-5120cl2010537.72
mA-t2-4qbf-5cnf-160var-640cl206690.2
mA-t2-4qbf-5cnf-20var-160cl20282281.62
mA-t2-4qbf-5cnf-20var-320cl20101052.1
mA-t2-4qbf-5cnf-20var-640cl2010516.1
mA-t2-4qbf-5cnf-40var-1280cl2010380.04
mA-t2-4qbf-5cnf-40var-320cl2018956.68
mA-t2-4qbf-5cnf-40var-640cl2010337.68
mA-t2-4qbf-5cnf-80var-1280cl2010409.7
mA-t2-4qbf-5cnf-80var-2560cl2010424.9
mA-t2-4qbf-5cnf-80var-320cl2018463.66
mA-t2-5qbf-5cnf-160var-2560cl2092619.46
mA-t2-5qbf-5cnf-160var-5120cl201096.8
mA-t2-5qbf-5cnf-160var-640cl20100.3
mA-t2-5qbf-5cnf-20var-320cl20101100.64
mA-t2-5qbf-5cnf-20var-640cl2010981.2
mA-t2-5qbf-5cnf-40var-1280cl2010106.64
mA-t2-5qbf-5cnf-40var-320cl2073509
mA-t2-5qbf-5cnf-40var-640cl209455.56
mA-t2-5qbf-5cnf-80var-1280cl2081977.72
mA-t2-5qbf-5cnf-80var-2560cl201040.12
mA-t2-5qbf-5cnf-80var-640cl205227.56
mA-t2-6qbf-5cnf-160var-2560cl2013559.64
mA-t2-6qbf-5cnf-160var-5120cl2010435.4
mA-t2-6qbf-5cnf-160var-640cl20100.34
mA-t2-6qbf-5cnf-20var-160cl20912873.7
mA-t2-6qbf-5cnf-20var-320cl20101446.9
mA-t2-6qbf-5cnf-20var-640cl2010637.16
mA-t2-6qbf-5cnf-40var-1280cl2010374.62
mA-t2-6qbf-5cnf-40var-320cl208553.64
mA-t2-6qbf-5cnf-40var-640cl2073537.96
mA-t2-6qbf-5cnf-80var-1280cl208787.1
mA-t2-6qbf-5cnf-80var-2560cl2010363.54
mA-t2-6qbf-5cnf-80var-640cl206779
MutexP48139651.87
Qq2k1k4v40v40m1610550.13
Qq2k1k4v40v40m210100.07
Qq2k1k4v40v40m3210100.03
Qq2k1k4v40v40m410910.08
Qq2k1k4v40v40m810820.04
Qq2k1k4v80v80m1610730.02
Qq2k1k4v80v80m210100.09
Qq2k1k4v80v80m3210280.08
Qq2k1k4v80v80m410100.08
Qq2k1k4v80v80m810100.07
Qq2k2k3v40v40m1610100.04
Qq2k2k3v40v40m210100.06
Qq2k2k3v40v40m3210100.07
Qq2k2k3v40v40m410100.03
Qq2k2k3v40v40m810100.06
Qq2k2k3v80v80m1610100.06
Qq2k2k3v80v80m210100.06
Qq2k2k3v80v80m3210100.06
Qq2k2k3v80v80m410100.08
Qq2k2k3v80v80m810100.03
Qq2k3k2v40v40m1610100.02
Qq2k3k2v40v40m210100.05
Qq2k3k2v40v40m3210100.09
Qq2k3k2v40v40m410100.07
Qq2k3k2v40v40m810100.05
Qq2k3k2v80v80m1610100.05
Qq2k3k2v80v80m210100.03
Qq2k3k2v80v80m3210100.12
Qq2k3k2v80v80m410100.06
Qq2k3k2v80v80m810100.02
Qq3k1k1k3v40v40v40m1610100.06
Qq3k1k1k3v40v40v40m210100.07
Qq3k1k1k3v40v40v40m3210100.09
Qq3k1k1k3v40v40v40m410100.09
Qq3k1k1k3v40v40v40m810100.04
Qq3k1k1k3v80v80v80m1610100.05
Qq3k1k1k3v80v80v80m210100.02
Qq3k1k1k3v80v80v80m3210100.04
Qq3k1k1k3v80v80v80m410100.02
Qq3k1k1k3v80v80v80m810100.08
Qq3k1k2k2v40v40v40m1610100.05
Qq3k1k2k2v40v40v40m210100.02
Qq3k1k2k2v40v40v40m3210100.03
Qq3k1k2k2v40v40v40m410100.07
Qq3k1k2k2v40v40v40m810100.08
Qq3k1k2k2v80v80v80m1610100.07
Qq3k1k2k2v80v80v80m210100.05
Qq3k1k2k2v80v80v80m3210100.04
Qq3k1k2k2v80v80v80m410100.02
Qq3k1k2k2v80v80v80m810100.08
Qq3k1k3k1v40v40v40m1610100.02
Qq3k1k3k1v40v40v40m210100.06
Qq3k1k3k1v40v40v40m3210100.08
Qq3k1k3k1v40v40v40m410100.08
Qq3k1k3k1v40v40v40m810100.03
Qq3k1k3k1v80v80v80m1610100.06
Qq3k1k3k1v80v80v80m210100.01
Qq3k1k3k1v80v80v80m3210100.08
Qq3k1k3k1v80v80v80m410100.02
Qq3k1k3k1v80v80v80m810100.02
Qq3k2k1k2v40v40v40m1610100.04
Qq3k2k1k2v40v40v40m210100.08
Qq3k2k1k2v40v40v40m3210100.07
Qq3k2k1k2v40v40v40m410100.06
Qq3k2k1k2v40v40v40m810100.09
Qq3k2k1k2v80v80v80m1610100.06
Qq3k2k1k2v80v80v80m210100.03
Qq3k2k1k2v80v80v80m3210100.04
Qq3k2k1k2v80v80v80m410100.04
Qq3k2k1k2v80v80v80m810100.03
Qq3k2k2k1v40v40v40m1610100.07
Qq3k2k2k1v40v40v40m210100.02
Qq3k2k2k1v40v40v40m3210100.02
Qq3k2k2k1v40v40v40m410100.01
Qq3k2k2k1v40v40v40m810100.04
Qq3k2k2k1v80v80v80m1610100.06
Qq3k2k2k1v80v80v80m210100.02
Qq3k2k2k1v80v80v80m3210100.04
Qq3k2k2k1v80v80v80m410100.02
Qq3k2k2k1v80v80v80m810100.01
Qq3k3k1k1v40v40v40m1610100.07
Qq3k3k1k1v40v40v40m210100.08
Qq3k3k1k1v40v40v40m3210100.09
Qq3k3k1k1v40v40v40m410100.07
Qq3k3k1k1v40v40v40m810100.03
Qq3k3k1k1v80v80v80m1610100.05
Qq3k3k1k1v80v80v80m210100.03
Qq3k3k1k1v80v80v80m3210100.11
Qq3k3k1k1v80v80v80m410100.03
Qq3k3k1k1v80v80v80m810100.03
Qshifter444287.86
RobotsD230102110.08
RobotsD330102497.68
RobotsD432103369.45
RobotsD531103092.37
s2729335.61
s298172115.17
s3868129.84
s4991111430.27
s510413.48
s713102572.1
s82081939.2
Sorting_networks3712413636886.06
Strategic_Companies63321562952424.47
SzymanskiP813331046
term13839956.08
tipdiam6530367.36
tipfixpoint2067887242.7
Toilet172110.28
ToiletA411182.72
ToiletC310.21
Tree710