2clsQ results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10341226483.72
ASP_Program_Inclusion9128170844.1
blackbox_design131374953.42
Blocks8847213.79
C432411275290.25
C4993012236.16
C5315412222.01
C62881060004.2
C8801821452.42
Chain3941.73
comp820.16
Connect4381310.8
Counter215662.35
CounterFactual9201321052519547.11
evader-pursuer-4x4-logarithmic371181077.69
evader-pursuer-6x6-logarithmic16212916.78
evader-pursuer-8x8-logarithmic36379870.5
FPGA_PLB_FIT_FAST24321.12
FPGA_PLB_FIT_SLOW251256.27
jmc_quant2138424.37
jmc_quant_squaring28120957.06
k_branch_n18146680.12
k_branch_p231106866.08
k_d4_n421194849.81
k_d4_p3652.54
k_dum_n3250.82
k_dum_p38415.84
k_grz_n36575.11
k_grz_p37634.46
k_lin_n276323.31
k_lin_p2851.85
k_path_n3352.04
k_path_p3351.84
k_ph_n203596.28
k_ph_p4113.72
k_poly_n4261.49
k_poly_p1130.33
k_t4p_n39680.97
k_t4p_p5165.97
Logn196227.14
mA-t2-1qbf-5cnf-160var-2560cl20103017.78
mA-t2-1qbf-5cnf-80var-2560cl20988254.32
mA-t2-2qbf-5cnf-160var-2560cl2010372.34
mA-t2-2qbf-5cnf-160var-320cl2010331.66
mA-t2-2qbf-5cnf-160var-5120cl2010658.9
mA-t2-2qbf-5cnf-40var-160cl203465126.84
mA-t2-2qbf-5cnf-40var-320cl2096588.66
mA-t2-2qbf-5cnf-40var-640cl2010380.32
mA-t2-2qbf-5cnf-80var-1280cl2010365.94
mA-t2-2qbf-5cnf-80var-320cl20119214.26
mA-t2-2qbf-5cnf-80var-640cl2028899.84
mA-t2-3qbf-5cnf-160var-2560cl20101838.1
mA-t2-3qbf-5cnf-160var-640cl20114499.84
mA-t2-3qbf-5cnf-20var-160cl20102757.94
mA-t2-3qbf-5cnf-20var-320cl20102081.66
mA-t2-3qbf-5cnf-40var-320cl205160500.44
mA-t2-3qbf-5cnf-40var-640cl2010253.72
mA-t2-3qbf-5cnf-80var-1280cl2010378.96
mA-t2-3qbf-5cnf-80var-2560cl20100.2
mA-t2-3qbf-5cnf-80var-320cl20103353.24
mA-t2-4qbf-5cnf-160var-2560cl2010362.98
mA-t2-4qbf-5cnf-160var-5120cl2010538.72
mA-t2-4qbf-5cnf-160var-640cl20119124.54
mA-t2-4qbf-5cnf-20var-160cl20282518.8
mA-t2-4qbf-5cnf-20var-320cl20101055.46
mA-t2-4qbf-5cnf-20var-640cl2010514.76
mA-t2-4qbf-5cnf-40var-1280cl209389.74
mA-t2-4qbf-5cnf-40var-320cl2086663.44
mA-t2-4qbf-5cnf-40var-640cl2010340.72
mA-t2-4qbf-5cnf-80var-1280cl2010380.92
mA-t2-4qbf-5cnf-80var-2560cl2010425.08
mA-t2-4qbf-5cnf-80var-320cl20173836.54
mA-t2-5qbf-5cnf-160var-2560cl20101695.3
mA-t2-5qbf-5cnf-160var-5120cl20997.64
mA-t2-5qbf-5cnf-160var-640cl20100.3
mA-t2-5qbf-5cnf-20var-320cl20101160.64
mA-t2-5qbf-5cnf-20var-640cl208986.04
mA-t2-5qbf-5cnf-40var-1280cl2010112.86
mA-t2-5qbf-5cnf-40var-320cl20352351.44
mA-t2-5qbf-5cnf-40var-640cl2010351.6
mA-t2-5qbf-5cnf-80var-1280cl20827429.78
mA-t2-5qbf-5cnf-80var-2560cl20941.54
mA-t2-5qbf-5cnf-80var-640cl20108445.9
mA-t2-6qbf-5cnf-160var-2560cl20472181.62
mA-t2-6qbf-5cnf-160var-5120cl2010428.74
mA-t2-6qbf-5cnf-160var-640cl20100.2
mA-t2-6qbf-5cnf-20var-160cl20916425.1
mA-t2-6qbf-5cnf-20var-320cl20101753.06
mA-t2-6qbf-5cnf-20var-640cl2010655.8
mA-t2-6qbf-5cnf-40var-1280cl2010375.76
mA-t2-6qbf-5cnf-40var-320cl2083815.96
mA-t2-6qbf-5cnf-40var-640cl20634617.96
mA-t2-6qbf-5cnf-80var-1280cl20382805.32
mA-t2-6qbf-5cnf-80var-2560cl2010355.62
mA-t2-6qbf-5cnf-80var-640cl20120008.4
MutexP48288020.16
Qq2k1k4v40v40m1610550.01
Qq2k1k4v40v40m210100.09
Qq2k1k4v40v40m3210100.07
Qq2k1k4v40v40m410910.07
Qq2k1k4v40v40m810820.05
Qq2k1k4v80v80m1610730.02
Qq2k1k4v80v80m210100.12
Qq2k1k4v80v80m3210280.02
Qq2k1k4v80v80m410100.07
Qq2k1k4v80v80m810100.05
Qq2k2k3v40v40m1610100.04
Qq2k2k3v40v40m210100.08
Qq2k2k3v40v40m3210100.08
Qq2k2k3v40v40m410100.04
Qq2k2k3v40v40m810100.03
Qq2k2k3v80v80m1610100.07
Qq2k2k3v80v80m210100.03
Qq2k2k3v80v80m3210100.07
Qq2k2k3v80v80m410100.04
Qq2k2k3v80v80m810100.06
Qq2k3k2v40v40m1610100.07
Qq2k3k2v40v40m210100.07
Qq2k3k2v40v40m3210100.11
Qq2k3k2v40v40m410100.05
Qq2k3k2v40v40m810100
Qq2k3k2v80v80m1610100.05
Qq2k3k2v80v80m210100.02
Qq2k3k2v80v80m3210100.05
Qq2k3k2v80v80m410100.05
Qq2k3k2v80v80m810100.03
Qq3k1k1k3v40v40v40m1610100.04
Qq3k1k1k3v40v40v40m210100.05
Qq3k1k1k3v40v40v40m3210100.06
Qq3k1k1k3v40v40v40m410100.07
Qq3k1k1k3v40v40v40m810100.06
Qq3k1k1k3v80v80v80m1610100.07
Qq3k1k1k3v80v80v80m210100.06
Qq3k1k1k3v80v80v80m3210100.06
Qq3k1k1k3v80v80v80m410100.04
Qq3k1k1k3v80v80v80m810100.07
Qq3k1k2k2v40v40v40m1610100.03
Qq3k1k2k2v40v40v40m210100.04
Qq3k1k2k2v40v40v40m3210100.09
Qq3k1k2k2v40v40v40m410100.09
Qq3k1k2k2v40v40v40m810100.01
Qq3k1k2k2v80v80v80m1610100.05
Qq3k1k2k2v80v80v80m210100.08
Qq3k1k2k2v80v80v80m3210100.04
Qq3k1k2k2v80v80v80m410100.05
Qq3k1k2k2v80v80v80m810100.05
Qq3k1k3k1v40v40v40m1610100.07
Qq3k1k3k1v40v40v40m210100.04
Qq3k1k3k1v40v40v40m3210100.06
Qq3k1k3k1v40v40v40m410100.04
Qq3k1k3k1v40v40v40m810100.02
Qq3k1k3k1v80v80v80m1610100.05
Qq3k1k3k1v80v80v80m210100.04
Qq3k1k3k1v80v80v80m3210100.02
Qq3k1k3k1v80v80v80m410100.01
Qq3k1k3k1v80v80v80m810100
Qq3k2k1k2v40v40v40m1610100.04
Qq3k2k1k2v40v40v40m210100.02
Qq3k2k1k2v40v40v40m3210100.03
Qq3k2k1k2v40v40v40m410100.02
Qq3k2k1k2v40v40v40m810100.07
Qq3k2k1k2v80v80v80m1610100.04
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.09
Qq3k2k1k2v80v80v80m410100.02
Qq3k2k1k2v80v80v80m810100.03
Qq3k2k2k1v40v40v40m1610100.07
Qq3k2k2k1v40v40v40m210100.08
Qq3k2k2k1v40v40v40m3210100.04
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.05
Qq3k2k2k1v80v80v80m1610100.06
Qq3k2k2k1v80v80v80m210100.07
Qq3k2k2k1v80v80v80m3210100.01
Qq3k2k2k1v80v80v80m410100.02
Qq3k2k2k1v80v80v80m810100.04
Qq3k3k1k1v40v40v40m1610100.03
Qq3k3k1k1v40v40v40m210100.02
Qq3k3k1k1v40v40v40m3210100.05
Qq3k3k1k1v40v40v40m410100.01
Qq3k3k1k1v40v40v40m810100.06
Qq3k3k1k1v80v80v80m1610100.05
Qq3k3k1k1v80v80v80m210100.04
Qq3k3k1k1v80v80v80m3210100.09
Qq3k3k1k1v80v80v80m410100.03
Qq3k3k1k1v80v80v80m810100.04
Qshifter444289.6
RobotsD230265632.29
RobotsD330575309.51
RobotsD4321060832.94
RobotsD5311087864.6
s2729335.95
s298172115.66
s3868129.84
s49911136004.17
s510413.44
s7131060004.2
s820848003.36
Sorting_networks37129191206424.86
Strategic_Companies633271512571711.63
SzymanskiP8139476.41
term13845187.1
tipdiam6530688.55
tipfixpoint206710960507.3
Toilet172110.22
ToiletA411185.02
ToiletC310.15
Tree710