qube5.0 results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1031310284.11
ASP_Program_Inclusion9140343.14
blackbox_design13127185.25
Blocks8832300405.95
C432411190560.49
C499301174781.81
C531541119118.29
C62881060007.7
C880182976.84
Chain391202711.81
comp827729.12
Connect4381340348.46
Counter21278552.59
CounterFactual920191149881623.08
evader-pursuer-4x4-logarithmic3728619.87
evader-pursuer-6x6-logarithmic162451.11
evader-pursuer-8x8-logarithmic3635406.92
FPGA_PLB_FIT_FAST24314790.16
FPGA_PLB_FIT_SLOW251163827.03
jmc_quant21126007.99
jmc_quant_squaring2888694.86
k_branch_n1818862.12
k_branch_p2319958.38
k_d4_n42163927.43
k_d4_p3699522.88
k_dum_n3295909.9
k_dum_p38124069.32
k_grz_n36294577.5
k_grz_p37391801.94
k_lin_n2761914.76
k_lin_p28517
k_path_n3386128.28
k_path_p3376429.08
k_ph_n20339.59
k_ph_p4149.6
k_poly_n42103805.48
k_poly_p1114940.33
k_t4p_n3954941.88
k_t4p_p51126919.53
Logn192173.53
mA-t2-1qbf-5cnf-160var-2560cl202104141.12
mA-t2-1qbf-5cnf-80var-2560cl20120016.36
mA-t2-2qbf-5cnf-160var-2560cl20102.16
mA-t2-2qbf-5cnf-160var-320cl20101504.06
mA-t2-2qbf-5cnf-160var-5120cl20102.64
mA-t2-2qbf-5cnf-40var-160cl206416777.3
mA-t2-2qbf-5cnf-40var-320cl201013331.36
mA-t2-2qbf-5cnf-40var-640cl20100.46
mA-t2-2qbf-5cnf-80var-1280cl20101.34
mA-t2-2qbf-5cnf-80var-320cl20120013.02
mA-t2-2qbf-5cnf-80var-640cl201111148.42
mA-t2-3qbf-5cnf-160var-2560cl2010792.9
mA-t2-3qbf-5cnf-160var-640cl20100.68
mA-t2-3qbf-5cnf-20var-160cl20100.34
mA-t2-3qbf-5cnf-20var-320cl20100.5
mA-t2-3qbf-5cnf-40var-320cl20914.96
mA-t2-3qbf-5cnf-40var-640cl20101.54
mA-t2-3qbf-5cnf-80var-1280cl201054.02
mA-t2-3qbf-5cnf-80var-2560cl20101.44
mA-t2-3qbf-5cnf-80var-320cl20100.48
mA-t2-4qbf-5cnf-160var-2560cl20102.8
mA-t2-4qbf-5cnf-160var-5120cl20102.68
mA-t2-4qbf-5cnf-160var-640cl20488439.82
mA-t2-4qbf-5cnf-20var-160cl202822.46
mA-t2-4qbf-5cnf-20var-320cl20100.48
mA-t2-4qbf-5cnf-20var-640cl20100.5
mA-t2-4qbf-5cnf-40var-1280cl20100.88
mA-t2-4qbf-5cnf-40var-320cl20848136.14
mA-t2-4qbf-5cnf-40var-640cl20100.62
mA-t2-4qbf-5cnf-80var-1280cl20101.2
mA-t2-4qbf-5cnf-80var-2560cl20101.44
mA-t2-4qbf-5cnf-80var-320cl20101233.7
mA-t2-5qbf-5cnf-160var-2560cl2010114.46
mA-t2-5qbf-5cnf-160var-5120cl20102.9
mA-t2-5qbf-5cnf-160var-640cl20100.62
mA-t2-5qbf-5cnf-20var-320cl20101.52
mA-t2-5qbf-5cnf-20var-640cl20100.6
mA-t2-5qbf-5cnf-40var-1280cl20100.92
mA-t2-5qbf-5cnf-40var-320cl20101.06
mA-t2-5qbf-5cnf-40var-640cl20102.96
mA-t2-5qbf-5cnf-80var-1280cl20911088.54
mA-t2-5qbf-5cnf-80var-2560cl20101.36
mA-t2-5qbf-5cnf-80var-640cl2010537.88
mA-t2-6qbf-5cnf-160var-2560cl20106.48
mA-t2-6qbf-5cnf-160var-5120cl20103.28
mA-t2-6qbf-5cnf-160var-640cl20100.74
mA-t2-6qbf-5cnf-20var-160cl20911.48
mA-t2-6qbf-5cnf-20var-320cl20102.04
mA-t2-6qbf-5cnf-20var-640cl20100.54
mA-t2-6qbf-5cnf-40var-1280cl20100.78
mA-t2-6qbf-5cnf-40var-320cl207139610.56
mA-t2-6qbf-5cnf-40var-640cl20101175.1
mA-t2-6qbf-5cnf-80var-1280cl2097736.56
mA-t2-6qbf-5cnf-80var-2560cl20101.72
mA-t2-6qbf-5cnf-80var-640cl20120013.46
MutexP48496.94
Qq2k1k4v40v40m1610550.07
Qq2k1k4v40v40m210100.14
Qq2k1k4v40v40m3210100.07
Qq2k1k4v40v40m410910.09
Qq2k1k4v40v40m810820.07
Qq2k1k4v80v80m1610730.14
Qq2k1k4v80v80m210100.12
Qq2k1k4v80v80m3210280.06
Qq2k1k4v80v80m410100.12
Qq2k1k4v80v80m810100.15
Qq2k2k3v40v40m1610100.14
Qq2k2k3v40v40m210100.11
Qq2k2k3v40v40m3210100.12
Qq2k2k3v40v40m410100.13
Qq2k2k3v40v40m810100.13
Qq2k2k3v80v80m1610100.12
Qq2k2k3v80v80m210100.09
Qq2k2k3v80v80m3210100.12
Qq2k2k3v80v80m410100.18
Qq2k2k3v80v80m810100.09
Qq2k3k2v40v40m1610100.05
Qq2k3k2v40v40m210100.09
Qq2k3k2v40v40m3210100.14
Qq2k3k2v40v40m410100.08
Qq2k3k2v40v40m810100.09
Qq2k3k2v80v80m1610100.14
Qq2k3k2v80v80m210100.14
Qq2k3k2v80v80m3210100.11
Qq2k3k2v80v80m410100.06
Qq2k3k2v80v80m810100.08
Qq3k1k1k3v40v40v40m1610100.11
Qq3k1k1k3v40v40v40m210100.1
Qq3k1k1k3v40v40v40m3210100.12
Qq3k1k1k3v40v40v40m410100.19
Qq3k1k1k3v40v40v40m810100.16
Qq3k1k1k3v80v80v80m1610100.11
Qq3k1k1k3v80v80v80m210100.13
Qq3k1k1k3v80v80v80m3210100.15
Qq3k1k1k3v80v80v80m410100.09
Qq3k1k1k3v80v80v80m810100.14
Qq3k1k2k2v40v40v40m1610100.09
Qq3k1k2k2v40v40v40m210100.14
Qq3k1k2k2v40v40v40m3210100.11
Qq3k1k2k2v40v40v40m410100.09
Qq3k1k2k2v40v40v40m810100.15
Qq3k1k2k2v80v80v80m1610100.14
Qq3k1k2k2v80v80v80m210100.09
Qq3k1k2k2v80v80v80m3210100.11
Qq3k1k2k2v80v80v80m410100.1
Qq3k1k2k2v80v80v80m810100.1
Qq3k1k3k1v40v40v40m1610100.09
Qq3k1k3k1v40v40v40m210100.07
Qq3k1k3k1v40v40v40m3210100.13
Qq3k1k3k1v40v40v40m410100.06
Qq3k1k3k1v40v40v40m810100.13
Qq3k1k3k1v80v80v80m1610100.19
Qq3k1k3k1v80v80v80m210100.07
Qq3k1k3k1v80v80v80m3210100.13
Qq3k1k3k1v80v80v80m410100.1
Qq3k1k3k1v80v80v80m810100.12
Qq3k2k1k2v40v40v40m1610100.13
Qq3k2k1k2v40v40v40m210100.12
Qq3k2k1k2v40v40v40m3210100.15
Qq3k2k1k2v40v40v40m410100.03
Qq3k2k1k2v40v40v40m810100.09
Qq3k2k1k2v80v80v80m1610100.08
Qq3k2k1k2v80v80v80m210100.09
Qq3k2k1k2v80v80v80m3210100.18
Qq3k2k1k2v80v80v80m410100.11
Qq3k2k1k2v80v80v80m810100.14
Qq3k2k2k1v40v40v40m1610100.12
Qq3k2k2k1v40v40v40m210100.09
Qq3k2k2k1v40v40v40m3210100.12
Qq3k2k2k1v40v40v40m410100.14
Qq3k2k2k1v40v40v40m810100.17
Qq3k2k2k1v80v80v80m1610100.16
Qq3k2k2k1v80v80v80m210100.09
Qq3k2k2k1v80v80v80m3210100.17
Qq3k2k2k1v80v80v80m410100.12
Qq3k2k2k1v80v80v80m810100.09
Qq3k3k1k1v40v40v40m1610100.07
Qq3k3k1k1v40v40v40m210100.13
Qq3k3k1k1v40v40v40m3210100.14
Qq3k3k1k1v40v40v40m410100.1
Qq3k3k1k1v40v40v40m810100.15
Qq3k3k1k1v80v80v80m1610100.05
Qq3k3k1k1v80v80v80m210100.14
Qq3k3k1k1v80v80v80m3210100.13
Qq3k3k1k1v80v80v80m410100.1
Qq3k3k1k1v80v80v80m810100.11
Qshifter44197783.38
RobotsD23010219.21
RobotsD33010440.76
RobotsD43210669.76
RobotsD53110559.94
s272930.74
s29817236.8
s386811.76
s49911230.11
s510411
s7131018.1
s8208114
Sorting_networks37116201257015.77
Strategic_Companies633273491279216.8
SzymanskiP8199548.75
term138419852.03
tipdiam653022.06
tipfixpoint206299577751.56
Toilet17155094.27
ToiletA41133.48
ToiletC310.3
Tree710.07