QUANTOR results solving families - 2006

Family# Total# Sat# UnsatTime
Adder103486508.28
ASP_Program_Inclusion916774.03
blackbox_design1314223.41
Blocks8847242.47
C43241215731.89
C499302118.26
C531541224.24
C628810154.4
C880184694.58
Chain3942.24
comp820.24
Connect43810730.26
Counter215451.85
CounterFactual920754419438.69
evader-pursuer-4x4-logarithmic3711899.06
evader-pursuer-6x6-logarithmic164159.53
evader-pursuer-8x8-logarithmic367540.24
FPGA_PLB_FIT_FAST24384.48
FPGA_PLB_FIT_SLOW2512149.44
jmc_quant2136766.86
jmc_quant_squaring2861390.8
k_branch_n18244.89
k_branch_p231325.92
k_d4_n421550.97
k_d4_p363199.87
k_dum_n3250.82
k_dum_p3841.03
k_grz_n365142.16
k_grz_p37632.1
k_lin_n27652.77
k_lin_p2853.39
k_path_n3351.66
k_path_p3351.68
k_ph_n20359.07
k_ph_p413.16
k_poly_n4261.02
k_poly_p1130.18
k_t4p_n3911172.81
k_t4p_p511964.37
Logn19246.76
mA-t2-1qbf-5cnf-160var-2560cl201012434.4
mA-t2-1qbf-5cnf-80var-2560cl20107891.94
mA-t2-2qbf-5cnf-160var-2560cl20300.1
mA-t2-2qbf-5cnf-160var-320cl208301.42
mA-t2-2qbf-5cnf-160var-5120cl20572.14
mA-t2-2qbf-5cnf-40var-160cl204571.14
mA-t2-2qbf-5cnf-40var-320cl20393.14
mA-t2-2qbf-5cnf-40var-640cl20426.48
mA-t2-2qbf-5cnf-80var-1280cl20279.02
mA-t2-2qbf-5cnf-80var-320cl20305.06
mA-t2-2qbf-5cnf-80var-640cl20246.28
mA-t2-3qbf-5cnf-160var-2560cl20306.24
mA-t2-3qbf-5cnf-160var-640cl20762.26
mA-t2-3qbf-5cnf-20var-160cl205780.88
mA-t2-3qbf-5cnf-20var-320cl203888.7
mA-t2-3qbf-5cnf-40var-320cl20759.22
mA-t2-3qbf-5cnf-40var-640cl20345.38
mA-t2-3qbf-5cnf-80var-1280cl20269.08
mA-t2-3qbf-5cnf-80var-2560cl205209.46
mA-t2-3qbf-5cnf-80var-320cl2011014.8
mA-t2-4qbf-5cnf-160var-2560cl20299.9
mA-t2-4qbf-5cnf-160var-5120cl20421.9
mA-t2-4qbf-5cnf-160var-640cl20493.64
mA-t2-4qbf-5cnf-20var-160cl201942.78
mA-t2-4qbf-5cnf-20var-320cl20532.1
mA-t2-4qbf-5cnf-20var-640cl20347.56
mA-t2-4qbf-5cnf-40var-1280cl201338.56
mA-t2-4qbf-5cnf-40var-320cl20673.16
mA-t2-4qbf-5cnf-40var-640cl20505.56
mA-t2-4qbf-5cnf-80var-1280cl20269.78
mA-t2-4qbf-5cnf-80var-2560cl20596.46
mA-t2-4qbf-5cnf-80var-320cl201848.64
mA-t2-5qbf-5cnf-160var-2560cl20346.72
mA-t2-5qbf-5cnf-160var-5120cl20451.92
mA-t2-5qbf-5cnf-160var-640cl20100.16
mA-t2-5qbf-5cnf-20var-320cl20361.74
mA-t2-5qbf-5cnf-20var-640cl202496.14
mA-t2-5qbf-5cnf-40var-1280cl20352.76
mA-t2-5qbf-5cnf-40var-320cl201074.66
mA-t2-5qbf-5cnf-40var-640cl201290.42
mA-t2-5qbf-5cnf-80var-1280cl20322.38
mA-t2-5qbf-5cnf-80var-2560cl20376.16
mA-t2-5qbf-5cnf-80var-640cl20473.84
mA-t2-6qbf-5cnf-160var-2560cl20361.9
mA-t2-6qbf-5cnf-160var-5120cl20418.2
mA-t2-6qbf-5cnf-160var-640cl20100.14
mA-t2-6qbf-5cnf-20var-160cl203258.34
mA-t2-6qbf-5cnf-20var-320cl20459.16
mA-t2-6qbf-5cnf-20var-640cl20313.1
mA-t2-6qbf-5cnf-40var-1280cl20329.08
mA-t2-6qbf-5cnf-40var-320cl20431.78
mA-t2-6qbf-5cnf-40var-640cl20347.5
mA-t2-6qbf-5cnf-80var-1280cl20371.64
mA-t2-6qbf-5cnf-80var-2560cl20377.76
mA-t2-6qbf-5cnf-80var-640cl20645.98
MutexP48863.97
Qq2k1k4v40v40m1610550.04
Qq2k1k4v40v40m210100.01
Qq2k1k4v40v40m3210100.05
Qq2k1k4v40v40m410910.03
Qq2k1k4v40v40m810820
Qq2k1k4v80v80m1610730.04
Qq2k1k4v80v80m210100.05
Qq2k1k4v80v80m3210280.04
Qq2k1k4v80v80m410100.02
Qq2k1k4v80v80m810100.03
Qq2k2k3v40v40m1610100.03
Qq2k2k3v40v40m210100.06
Qq2k2k3v40v40m3210100.02
Qq2k2k3v40v40m410100.02
Qq2k2k3v40v40m810100.02
Qq2k2k3v80v80m1610100.04
Qq2k2k3v80v80m210100.04
Qq2k2k3v80v80m3210100.06
Qq2k2k3v80v80m410100.01
Qq2k2k3v80v80m810100.02
Qq2k3k2v40v40m1610100.07
Qq2k3k2v40v40m210100.03
Qq2k3k2v40v40m3210100.01
Qq2k3k2v40v40m410100.07
Qq2k3k2v40v40m810100.02
Qq2k3k2v80v80m1610100.03
Qq2k3k2v80v80m210100.03
Qq2k3k2v80v80m3210100.02
Qq2k3k2v80v80m410100.04
Qq2k3k2v80v80m810100.01
Qq3k1k1k3v40v40v40m1610100.08
Qq3k1k1k3v40v40v40m210100.03
Qq3k1k1k3v40v40v40m3210100.07
Qq3k1k1k3v40v40v40m410100.05
Qq3k1k1k3v40v40v40m810100.05
Qq3k1k1k3v80v80v80m1610100.05
Qq3k1k1k3v80v80v80m210100.04
Qq3k1k1k3v80v80v80m3210100.04
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100.06
Qq3k1k2k2v40v40v40m1610100.01
Qq3k1k2k2v40v40v40m210100.02
Qq3k1k2k2v40v40v40m3210100.04
Qq3k1k2k2v40v40v40m410100.03
Qq3k1k2k2v40v40v40m810100.04
Qq3k1k2k2v80v80v80m1610100.01
Qq3k1k2k2v80v80v80m210100.06
Qq3k1k2k2v80v80v80m3210100.02
Qq3k1k2k2v80v80v80m410100.04
Qq3k1k2k2v80v80v80m810100.03
Qq3k1k3k1v40v40v40m1610100.02
Qq3k1k3k1v40v40v40m210100.01
Qq3k1k3k1v40v40v40m3210100.01
Qq3k1k3k1v40v40v40m410100.01
Qq3k1k3k1v40v40v40m810100.01
Qq3k1k3k1v80v80v80m1610100.04
Qq3k1k3k1v80v80v80m210100.03
Qq3k1k3k1v80v80v80m3210100.05
Qq3k1k3k1v80v80v80m410100.02
Qq3k1k3k1v80v80v80m810100.03
Qq3k2k1k2v40v40v40m1610100.01
Qq3k2k1k2v40v40v40m210100.06
Qq3k2k1k2v40v40v40m3210100.01
Qq3k2k1k2v40v40v40m410100
Qq3k2k1k2v40v40v40m810100.05
Qq3k2k1k2v80v80v80m1610100.05
Qq3k2k1k2v80v80v80m210100.02
Qq3k2k1k2v80v80v80m3210100.06
Qq3k2k1k2v80v80v80m410100.01
Qq3k2k1k2v80v80v80m810100.01
Qq3k2k2k1v40v40v40m1610100.05
Qq3k2k2k1v40v40v40m210100.02
Qq3k2k2k1v40v40v40m3210100.03
Qq3k2k2k1v40v40v40m410100.04
Qq3k2k2k1v40v40v40m810100.04
Qq3k2k2k1v80v80v80m1610100.02
Qq3k2k2k1v80v80v80m210100.03
Qq3k2k2k1v80v80v80m3210100.06
Qq3k2k2k1v80v80v80m410100.04
Qq3k2k2k1v80v80v80m810100.04
Qq3k3k1k1v40v40v40m1610100.03
Qq3k3k1k1v40v40v40m210100.06
Qq3k3k1k1v40v40v40m3210100.04
Qq3k3k1k1v40v40v40m410100.02
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m1610100.03
Qq3k3k1k1v80v80v80m210100.04
Qq3k3k1k1v80v80v80m3210100.03
Qq3k3k1k1v80v80v80m410100.02
Qq3k3k1k1v80v80v80m810100.05
Qshifter444280.64
RobotsD2301316.97
RobotsD3301526.37
RobotsD4322260.87
RobotsD5312278.27
s272934.98
s298172937.83
s3868176.72
s499112885.83
s5104147.52
s7131012134.8
s82081444.8
Sorting_networks371241422060.58
Strategic_Companies633214346331.15
SzymanskiP811325.59
term138211962.09
tipdiam6526760.01
tipfixpoint20685278919.01
Toilet17217.32
ToiletA41169.34
ToiletC310.15
Tree710