qube4.0 results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1031310194.52
ASP_Program_Inclusion9140327.49
blackbox_design1311268512.17
Blocks8832321817.22
C4324112142257.98
C499301172520.26
C531541178573.66
C62881060001.7
C88018160006.22
Chain3948.76
comp825898.24
Connect438138527.62
Counter21268539.6
CounterFactual920191149881921.52
evader-pursuer-4x4-logarithmic3726952.46
evader-pursuer-6x6-logarithmic162667.17
evader-pursuer-8x8-logarithmic3635506.98
FPGA_PLB_FIT_FAST24314867.6
FPGA_PLB_FIT_SLOW251163983.13
jmc_quant21126007.31
jmc_quant_squaring2888838.98
k_branch_n18125203.24
k_branch_p23114312.92
k_d4_n42160685.16
k_d4_p3699662.49
k_dum_n32112997.02
k_dum_p38147150.2
k_grz_n36279571.6
k_grz_p37392671.15
k_lin_n2729080.85
k_lin_p285311.88
k_path_n3381193.44
k_path_p3378224.39
k_ph_n2031325.33
k_ph_p412650.88
k_poly_n4290281.23
k_poly_p1115968.07
k_t4p_n3949395.05
k_t4p_p51123232.72
Logn192181.96
mA-t2-1qbf-5cnf-160var-2560cl202104131.5
mA-t2-1qbf-5cnf-80var-2560cl20120015.88
mA-t2-2qbf-5cnf-160var-2560cl20101.7
mA-t2-2qbf-5cnf-160var-320cl20101504.06
mA-t2-2qbf-5cnf-160var-5120cl20101.72
mA-t2-2qbf-5cnf-40var-160cl206416824.24
mA-t2-2qbf-5cnf-40var-320cl201013357.5
mA-t2-2qbf-5cnf-40var-640cl20100.4
mA-t2-2qbf-5cnf-80var-1280cl20100.94
mA-t2-2qbf-5cnf-80var-320cl20120013.14
mA-t2-2qbf-5cnf-80var-640cl201111153.92
mA-t2-3qbf-5cnf-160var-2560cl2010788.42
mA-t2-3qbf-5cnf-160var-640cl20100.72
mA-t2-3qbf-5cnf-20var-160cl20100.32
mA-t2-3qbf-5cnf-20var-320cl20100.58
mA-t2-3qbf-5cnf-40var-320cl20914.84
mA-t2-3qbf-5cnf-40var-640cl20101.4
mA-t2-3qbf-5cnf-80var-1280cl201053.08
mA-t2-3qbf-5cnf-80var-2560cl20100.96
mA-t2-3qbf-5cnf-80var-320cl20100.46
mA-t2-4qbf-5cnf-160var-2560cl20102.52
mA-t2-4qbf-5cnf-160var-5120cl20101.94
mA-t2-4qbf-5cnf-160var-640cl20488475.3
mA-t2-4qbf-5cnf-20var-160cl202822.46
mA-t2-4qbf-5cnf-20var-320cl20100.28
mA-t2-4qbf-5cnf-20var-640cl20100.46
mA-t2-4qbf-5cnf-40var-1280cl20100.56
mA-t2-4qbf-5cnf-40var-320cl20848108.32
mA-t2-4qbf-5cnf-40var-640cl20100.56
mA-t2-4qbf-5cnf-80var-1280cl20101.08
mA-t2-4qbf-5cnf-80var-2560cl20101.14
mA-t2-4qbf-5cnf-80var-320cl20101233
mA-t2-5qbf-5cnf-160var-2560cl2010114.48
mA-t2-5qbf-5cnf-160var-5120cl20102.1
mA-t2-5qbf-5cnf-160var-640cl20100.42
mA-t2-5qbf-5cnf-20var-320cl20101.64
mA-t2-5qbf-5cnf-20var-640cl20100.5
mA-t2-5qbf-5cnf-40var-1280cl20100.6
mA-t2-5qbf-5cnf-40var-320cl20101
mA-t2-5qbf-5cnf-40var-640cl20102.82
mA-t2-5qbf-5cnf-80var-1280cl20911110.16
mA-t2-5qbf-5cnf-80var-2560cl20101.08
mA-t2-5qbf-5cnf-80var-640cl2010538.38
mA-t2-6qbf-5cnf-160var-2560cl20106.22
mA-t2-6qbf-5cnf-160var-5120cl20102.3
mA-t2-6qbf-5cnf-160var-640cl20100.48
mA-t2-6qbf-5cnf-20var-160cl20911.3
mA-t2-6qbf-5cnf-20var-320cl20102.1
mA-t2-6qbf-5cnf-20var-640cl20100.54
mA-t2-6qbf-5cnf-40var-1280cl20100.6
mA-t2-6qbf-5cnf-40var-320cl207139640.32
mA-t2-6qbf-5cnf-40var-640cl20101175.74
mA-t2-6qbf-5cnf-80var-1280cl2097774
mA-t2-6qbf-5cnf-80var-2560cl20101.08
mA-t2-6qbf-5cnf-80var-640cl20120013.28
MutexP48457.57
Qq2k1k4v40v40m1610550.07
Qq2k1k4v40v40m210100.12
Qq2k1k4v40v40m3210100.05
Qq2k1k4v40v40m410910.07
Qq2k1k4v40v40m810820.12
Qq2k1k4v80v80m1610730.09
Qq2k1k4v80v80m210100.09
Qq2k1k4v80v80m3210280.05
Qq2k1k4v80v80m410100.09
Qq2k1k4v80v80m810100.07
Qq2k2k3v40v40m1610100.09
Qq2k2k3v40v40m210100.12
Qq2k2k3v40v40m3210100.1
Qq2k2k3v40v40m410100.09
Qq2k2k3v40v40m810100.12
Qq2k2k3v80v80m1610100.08
Qq2k2k3v80v80m210100.07
Qq2k2k3v80v80m3210100.05
Qq2k2k3v80v80m410100.1
Qq2k2k3v80v80m810100.06
Qq2k3k2v40v40m1610100.11
Qq2k3k2v40v40m210100.06
Qq2k3k2v40v40m3210100.1
Qq2k3k2v40v40m410100.15
Qq2k3k2v40v40m810100.16
Qq2k3k2v80v80m1610100.09
Qq2k3k2v80v80m210100.06
Qq2k3k2v80v80m3210100.14
Qq2k3k2v80v80m410100.12
Qq2k3k2v80v80m810100.1
Qq3k1k1k3v40v40v40m1610100.08
Qq3k1k1k3v40v40v40m210100.11
Qq3k1k1k3v40v40v40m3210100.15
Qq3k1k1k3v40v40v40m410100.1
Qq3k1k1k3v40v40v40m810100.13
Qq3k1k1k3v80v80v80m1610100.08
Qq3k1k1k3v80v80v80m210100.15
Qq3k1k1k3v80v80v80m3210100.09
Qq3k1k1k3v80v80v80m410100.09
Qq3k1k1k3v80v80v80m810100.08
Qq3k1k2k2v40v40v40m1610100.11
Qq3k1k2k2v40v40v40m210100.08
Qq3k1k2k2v40v40v40m3210100.11
Qq3k1k2k2v40v40v40m410100.11
Qq3k1k2k2v40v40v40m810100.06
Qq3k1k2k2v80v80v80m1610100.15
Qq3k1k2k2v80v80v80m210100.18
Qq3k1k2k2v80v80v80m3210100.12
Qq3k1k2k2v80v80v80m410100.08
Qq3k1k2k2v80v80v80m810100.12
Qq3k1k3k1v40v40v40m1610100.15
Qq3k1k3k1v40v40v40m210100.13
Qq3k1k3k1v40v40v40m3210100.08
Qq3k1k3k1v40v40v40m410100.04
Qq3k1k3k1v40v40v40m810100.11
Qq3k1k3k1v80v80v80m1610100.1
Qq3k1k3k1v80v80v80m210100.12
Qq3k1k3k1v80v80v80m3210100.09
Qq3k1k3k1v80v80v80m410100.15
Qq3k1k3k1v80v80v80m810100.15
Qq3k2k1k2v40v40v40m1610100.16
Qq3k2k1k2v40v40v40m210100.11
Qq3k2k1k2v40v40v40m3210100.07
Qq3k2k1k2v40v40v40m410100.1
Qq3k2k1k2v40v40v40m810100.07
Qq3k2k1k2v80v80v80m1610100.14
Qq3k2k1k2v80v80v80m210100.09
Qq3k2k1k2v80v80v80m3210100.08
Qq3k2k1k2v80v80v80m410100.1
Qq3k2k1k2v80v80v80m810100.05
Qq3k2k2k1v40v40v40m1610100.08
Qq3k2k2k1v40v40v40m210100.09
Qq3k2k2k1v40v40v40m3210100.13
Qq3k2k2k1v40v40v40m410100.07
Qq3k2k2k1v40v40v40m810100.07
Qq3k2k2k1v80v80v80m1610100.07
Qq3k2k2k1v80v80v80m210100.13
Qq3k2k2k1v80v80v80m3210100.12
Qq3k2k2k1v80v80v80m410100.15
Qq3k2k2k1v80v80v80m810100.09
Qq3k3k1k1v40v40v40m1610100.12
Qq3k3k1k1v40v40v40m210100.08
Qq3k3k1k1v40v40v40m3210100.12
Qq3k3k1k1v40v40v40m410100.13
Qq3k3k1k1v40v40v40m810100.12
Qq3k3k1k1v80v80v80m1610100.08
Qq3k3k1k1v80v80v80m210100.14
Qq3k3k1k1v80v80v80m3210100.13
Qq3k3k1k1v80v80v80m410100.1
Qq3k3k1k1v80v80v80m810100.07
Qshifter44198408.18
RobotsD23010214.32
RobotsD33010438.57
RobotsD43210660.83
RobotsD53110558.31
s2729174016.68
s2981764890.62
s386836833.52
s4991137140.26
s510419068.64
s7131012386.7
s82088844.8
Sorting_networks37116201289567.75
Strategic_Companies633273491279665.1
SzymanskiP8195447.4
term138372401.51
tipdiam652914080.4
tipfixpoint20619945524.41
Toilet17164199.68
ToiletA41158.16
ToiletC310.21
Tree710