qube3.0 results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1031297857.6
ASP_Program_Inclusion9140276.73
blackbox_design1311427635.31
Blocks8832307302.21
C432411188705.84
C499301172349.86
C5315411120357.94
C62881060004.8
C88018160011.52
Chain39234021.01
comp821996.32
Connect438121183.87
Counter21268433.23
CounterFactual9201371191572899.11
evader-pursuer-4x4-logarithmic3727044.16
evader-pursuer-6x6-logarithmic162653.17
evader-pursuer-8x8-logarithmic3634526.5
FPGA_PLB_FIT_FAST24315551.44
FPGA_PLB_FIT_SLOW251163799.21
jmc_quant21126006.81
jmc_quant_squaring2879508.88
k_branch_n1823991.3
k_branch_p2315527.08
k_d4_n42160455.64
k_d4_p3687759.88
k_dum_n3297373.63
k_dum_p38103419.26
k_grz_n361102029.78
k_grz_p372104103.6
k_lin_n2735441.25
k_lin_p285105.31
k_path_n3362149.09
k_path_p3355350.76
k_ph_n2032725.83
k_ph_p412092.56
k_poly_n4288408.58
k_poly_p1112674.84
k_t4p_n3935683.38
k_t4p_p51111224.59
Logn192151.79
mA-t2-1qbf-5cnf-160var-2560cl202104106.52
mA-t2-1qbf-5cnf-80var-2560cl20120015.58
mA-t2-2qbf-5cnf-160var-2560cl20101.6
mA-t2-2qbf-5cnf-160var-320cl20824392.7
mA-t2-2qbf-5cnf-160var-5120cl20101.46
mA-t2-2qbf-5cnf-40var-160cl205425632.48
mA-t2-2qbf-5cnf-40var-320cl201014254.22
mA-t2-2qbf-5cnf-40var-640cl20100.36
mA-t2-2qbf-5cnf-80var-1280cl20100.96
mA-t2-2qbf-5cnf-80var-320cl20120013.2
mA-t2-2qbf-5cnf-80var-640cl201111159.6
mA-t2-3qbf-5cnf-160var-2560cl2093897.72
mA-t2-3qbf-5cnf-160var-640cl20100.34
mA-t2-3qbf-5cnf-20var-160cl20100.32
mA-t2-3qbf-5cnf-20var-320cl20100.38
mA-t2-3qbf-5cnf-40var-320cl20919.48
mA-t2-3qbf-5cnf-40var-640cl20101.32
mA-t2-3qbf-5cnf-80var-1280cl201051.82
mA-t2-3qbf-5cnf-80var-2560cl20100.84
mA-t2-3qbf-5cnf-80var-320cl20100.38
mA-t2-4qbf-5cnf-160var-2560cl20102.02
mA-t2-4qbf-5cnf-160var-5120cl20101.52
mA-t2-4qbf-5cnf-160var-640cl201108085.92
mA-t2-4qbf-5cnf-20var-160cl202822.32
mA-t2-4qbf-5cnf-20var-320cl20100.28
mA-t2-4qbf-5cnf-20var-640cl20100.24
mA-t2-4qbf-5cnf-40var-1280cl20100.4
mA-t2-4qbf-5cnf-40var-320cl20655742.14
mA-t2-4qbf-5cnf-40var-640cl20100.42
mA-t2-4qbf-5cnf-80var-1280cl20100.98
mA-t2-4qbf-5cnf-80var-2560cl20100.84
mA-t2-4qbf-5cnf-80var-320cl20912707.86
mA-t2-5qbf-5cnf-160var-2560cl2010245.12
mA-t2-5qbf-5cnf-160var-5120cl20101.74
mA-t2-5qbf-5cnf-160var-640cl20100.38
mA-t2-5qbf-5cnf-20var-320cl20101.98
mA-t2-5qbf-5cnf-20var-640cl20100.38
mA-t2-5qbf-5cnf-40var-1280cl20100.5
mA-t2-5qbf-5cnf-40var-320cl20101.04
mA-t2-5qbf-5cnf-40var-640cl201010.32
mA-t2-5qbf-5cnf-80var-1280cl20101045.26
mA-t2-5qbf-5cnf-80var-2560cl20100.98
mA-t2-5qbf-5cnf-80var-640cl20912860.08
mA-t2-6qbf-5cnf-160var-2560cl201015.66
mA-t2-6qbf-5cnf-160var-5120cl20101.8
mA-t2-6qbf-5cnf-160var-640cl20100.48
mA-t2-6qbf-5cnf-20var-160cl20911.3
mA-t2-6qbf-5cnf-20var-320cl20102.8
mA-t2-6qbf-5cnf-20var-640cl20100.34
mA-t2-6qbf-5cnf-40var-1280cl20100.58
mA-t2-6qbf-5cnf-40var-320cl205156754.38
mA-t2-6qbf-5cnf-40var-640cl2010113.72
mA-t2-6qbf-5cnf-80var-1280cl2098788.6
mA-t2-6qbf-5cnf-80var-2560cl20100.78
mA-t2-6qbf-5cnf-80var-640cl20120014.1
MutexP48176184.25
Qq2k1k4v40v40m1610550.12
Qq2k1k4v40v40m210100.14
Qq2k1k4v40v40m3210100.11
Qq2k1k4v40v40m410910.13
Qq2k1k4v40v40m810820.07
Qq2k1k4v80v80m1610730.08
Qq2k1k4v80v80m210100.06
Qq2k1k4v80v80m3210280.11
Qq2k1k4v80v80m410100.09
Qq2k1k4v80v80m810100.1
Qq2k2k3v40v40m1610100.14
Qq2k2k3v40v40m210100.14
Qq2k2k3v40v40m3210100.11
Qq2k2k3v40v40m410100.06
Qq2k2k3v40v40m810100.1
Qq2k2k3v80v80m1610100.14
Qq2k2k3v80v80m210100.09
Qq2k2k3v80v80m3210100.11
Qq2k2k3v80v80m410100.11
Qq2k2k3v80v80m810100.13
Qq2k3k2v40v40m1610100.11
Qq2k3k2v40v40m210100.09
Qq2k3k2v40v40m3210100.1
Qq2k3k2v40v40m410100.15
Qq2k3k2v40v40m810100.1
Qq2k3k2v80v80m1610100.13
Qq2k3k2v80v80m210100.16
Qq2k3k2v80v80m3210100.12
Qq2k3k2v80v80m410100.11
Qq2k3k2v80v80m810100.12
Qq3k1k1k3v40v40v40m1610100.12
Qq3k1k1k3v40v40v40m210100.1
Qq3k1k1k3v40v40v40m3210100.11
Qq3k1k1k3v40v40v40m410100.11
Qq3k1k1k3v40v40v40m810100.11
Qq3k1k1k3v80v80v80m1610100.07
Qq3k1k1k3v80v80v80m210100.11
Qq3k1k1k3v80v80v80m3210100.14
Qq3k1k1k3v80v80v80m410100.08
Qq3k1k1k3v80v80v80m810100.12
Qq3k1k2k2v40v40v40m1610100.1
Qq3k1k2k2v40v40v40m210100.09
Qq3k1k2k2v40v40v40m3210100.14
Qq3k1k2k2v40v40v40m410100.12
Qq3k1k2k2v40v40v40m810100.08
Qq3k1k2k2v80v80v80m1610100.13
Qq3k1k2k2v80v80v80m210100.11
Qq3k1k2k2v80v80v80m3210100.06
Qq3k1k2k2v80v80v80m410100.12
Qq3k1k2k2v80v80v80m810100.12
Qq3k1k3k1v40v40v40m1610100.12
Qq3k1k3k1v40v40v40m210100.1
Qq3k1k3k1v40v40v40m3210100.11
Qq3k1k3k1v40v40v40m410100.11
Qq3k1k3k1v40v40v40m810100.1
Qq3k1k3k1v80v80v80m1610100.06
Qq3k1k3k1v80v80v80m210100.07
Qq3k1k3k1v80v80v80m3210100.09
Qq3k1k3k1v80v80v80m410100.06
Qq3k1k3k1v80v80v80m810100.11
Qq3k2k1k2v40v40v40m1610100.09
Qq3k2k1k2v40v40v40m210100.1
Qq3k2k1k2v40v40v40m3210100.12
Qq3k2k1k2v40v40v40m410100.07
Qq3k2k1k2v40v40v40m810100.07
Qq3k2k1k2v80v80v80m1610100.06
Qq3k2k1k2v80v80v80m210100.09
Qq3k2k1k2v80v80v80m3210100.13
Qq3k2k1k2v80v80v80m410100.14
Qq3k2k1k2v80v80v80m810100.11
Qq3k2k2k1v40v40v40m1610100.09
Qq3k2k2k1v40v40v40m210100.12
Qq3k2k2k1v40v40v40m3210100.1
Qq3k2k2k1v40v40v40m410100.09
Qq3k2k2k1v40v40v40m810100.15
Qq3k2k2k1v80v80v80m1610100.13
Qq3k2k2k1v80v80v80m210100.1
Qq3k2k2k1v80v80v80m3210100.09
Qq3k2k2k1v80v80v80m410100.08
Qq3k2k2k1v80v80v80m810100.09
Qq3k3k1k1v40v40v40m1610100.1
Qq3k3k1k1v40v40v40m210100.11
Qq3k3k1k1v40v40v40m3210100.13
Qq3k3k1k1v40v40v40m410100.11
Qq3k3k1k1v40v40v40m810100.1
Qq3k3k1k1v80v80v80m1610100.09
Qq3k3k1k1v80v80v80m210100.12
Qq3k3k1k1v80v80v80m3210100.11
Qq3k3k1k1v80v80v80m410100.14
Qq3k3k1k1v80v80v80m810100.12
Qshifter44199121.78
RobotsD23010130.95
RobotsD33010199.44
RobotsD43210125.63
RobotsD53110122.17
s2729174008.19
s2981715058.14
s38686768.72
s499116559.95
s51041659.84
s713101610.9
s82083653.52
Sorting_networks37118181293224.09
Strategic_Companies633273501297043.74
SzymanskiP8192039.46
term138381899.2
tipdiam652919774.56
tipfixpoint20619921594.57
Toilet17216156.6
ToiletA41124
ToiletC310.12
Tree710