preQuantor results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1034166391.05
ASP_Program_Inclusion919005.8
blackbox_design1312739.56
Blocks8847213.59
C432412123721.76
C499302131.67
C5315412221.89
C628810172.6
C8801827083.6
Chain3941.31
comp820.16
Connect4381310.53
Counter215662.64
CounterFactual920633619649.53
evader-pursuer-4x4-logarithmic3713230.03
evader-pursuer-6x6-logarithmic166928.84
evader-pursuer-8x8-logarithmic3626246.26
FPGA_PLB_FIT_FAST24320.4
FPGA_PLB_FIT_SLOW251256.3
jmc_quant214076.34
jmc_quant_squaring286683.64
k_branch_n18350.64
k_branch_p23445.61
k_d4_n421691.46
k_d4_p3652.49
k_dum_n3250.89
k_dum_p38415.6
k_grz_n36576.01
k_grz_p37634.35
k_lin_n276323.5
k_lin_p2851.65
k_path_n3351.71
k_path_p3352.07
k_ph_n203550.8
k_ph_p4113.68
k_poly_n4261.68
k_poly_p1130.44
k_t4p_n39681.05
k_t4p_p5166.1
Logn196.54
mA-t2-1qbf-5cnf-160var-2560cl20636016.16
mA-t2-1qbf-5cnf-80var-2560cl2096013.3
mA-t2-2qbf-5cnf-160var-2560cl20378.56
mA-t2-2qbf-5cnf-160var-320cl208330.08
mA-t2-2qbf-5cnf-160var-5120cl20648.42
mA-t2-2qbf-5cnf-40var-160cl203818.14
mA-t2-2qbf-5cnf-40var-320cl20173.12
mA-t2-2qbf-5cnf-40var-640cl20327.48
mA-t2-2qbf-5cnf-80var-1280cl20251.76
mA-t2-2qbf-5cnf-80var-320cl20324.84
mA-t2-2qbf-5cnf-80var-640cl20313.86
mA-t2-3qbf-5cnf-160var-2560cl20257.78
mA-t2-3qbf-5cnf-160var-640cl20530.22
mA-t2-3qbf-5cnf-20var-160cl206331.88
mA-t2-3qbf-5cnf-20var-320cl2042815.68
mA-t2-3qbf-5cnf-40var-320cl20620.02
mA-t2-3qbf-5cnf-40var-640cl203255.18
mA-t2-3qbf-5cnf-80var-1280cl20280.14
mA-t2-3qbf-5cnf-80var-2560cl2090.16
mA-t2-3qbf-5cnf-80var-320cl2012518.1
mA-t2-4qbf-5cnf-160var-2560cl20307.62
mA-t2-4qbf-5cnf-160var-5120cl20469.8
mA-t2-4qbf-5cnf-160var-640cl201483.2
mA-t2-4qbf-5cnf-20var-160cl203632.7
mA-t2-4qbf-5cnf-20var-320cl201102.08
mA-t2-4qbf-5cnf-20var-640cl20491.7
mA-t2-4qbf-5cnf-40var-1280cl201253.3
mA-t2-4qbf-5cnf-40var-320cl20686.18
mA-t2-4qbf-5cnf-40var-640cl20338.42
mA-t2-4qbf-5cnf-80var-1280cl20382.22
mA-t2-4qbf-5cnf-80var-2560cl20342.32
mA-t2-4qbf-5cnf-80var-320cl205127.3
mA-t2-5qbf-5cnf-160var-2560cl20292.64
mA-t2-5qbf-5cnf-160var-5120cl20642.56
mA-t2-5qbf-5cnf-160var-640cl2090.28
mA-t2-5qbf-5cnf-20var-320cl20779.98
mA-t2-5qbf-5cnf-20var-640cl2051476.26
mA-t2-5qbf-5cnf-40var-1280cl20776
mA-t2-5qbf-5cnf-40var-320cl201134.58
mA-t2-5qbf-5cnf-40var-640cl201345.56
mA-t2-5qbf-5cnf-80var-1280cl20298.28
mA-t2-5qbf-5cnf-80var-2560cl20839.2
mA-t2-5qbf-5cnf-80var-640cl20587.52
mA-t2-6qbf-5cnf-160var-2560cl20328.28
mA-t2-6qbf-5cnf-160var-5120cl20346.62
mA-t2-6qbf-5cnf-160var-640cl2080.14
mA-t2-6qbf-5cnf-20var-160cl205570.84
mA-t2-6qbf-5cnf-20var-320cl201296.54
mA-t2-6qbf-5cnf-20var-640cl20539.34
mA-t2-6qbf-5cnf-40var-1280cl20354
mA-t2-6qbf-5cnf-40var-320cl201150.7
mA-t2-6qbf-5cnf-40var-640cl20391.3
mA-t2-6qbf-5cnf-80var-1280cl20337.48
mA-t2-6qbf-5cnf-80var-2560cl201308.7
mA-t2-6qbf-5cnf-80var-640cl20592.76
MutexP48810.73
Qq2k1k4v40v40m1610540.02
Qq2k1k4v40v40m21090.04
Qq2k1k4v40v40m3210100.04
Qq2k1k4v40v40m410510.03
Qq2k1k4v40v40m810820.07
Qq2k1k4v80v80m1610630.07
Qq2k1k4v80v80m21070.05
Qq2k1k4v80v80m3210280.04
Qq2k1k4v80v80m410100.04
Qq2k1k4v80v80m81060.06
Qq2k2k3v40v40m161090.05
Qq2k2k3v40v40m21090.07
Qq2k2k3v40v40m321070.02
Qq2k2k3v40v40m41060.01
Qq2k2k3v40v40m81070.08
Qq2k2k3v80v80m1610100.1
Qq2k2k3v80v80m21080.06
Qq2k2k3v80v80m321080.03
Qq2k2k3v80v80m41090.05
Qq2k2k3v80v80m81090.02
Qq2k3k2v40v40m161090.07
Qq2k3k2v40v40m21080.05
Qq2k3k2v40v40m3210100.03
Qq2k3k2v40v40m41090.15
Qq2k3k2v40v40m81090.07
Qq2k3k2v80v80m161080.06
Qq2k3k2v80v80m21080.07
Qq2k3k2v80v80m321080.04
Qq2k3k2v80v80m41070.05
Qq2k3k2v80v80m810100.05
Qq3k1k1k3v40v40v40m161080.05
Qq3k1k1k3v40v40v40m21060.05
Qq3k1k1k3v40v40v40m321080.05
Qq3k1k1k3v40v40v40m41050.05
Qq3k1k1k3v40v40v40m810100.05
Qq3k1k1k3v80v80v80m161080.06
Qq3k1k1k3v80v80v80m210100.09
Qq3k1k1k3v80v80v80m321090.04
Qq3k1k1k3v80v80v80m41080.06
Qq3k1k1k3v80v80v80m81080.03
Qq3k1k2k2v40v40v40m161090.07
Qq3k1k2k2v40v40v40m21090.02
Qq3k1k2k2v40v40v40m3210100.04
Qq3k1k2k2v40v40v40m410100.05
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m161090.05
Qq3k1k2k2v80v80v80m21080.03
Qq3k1k2k2v80v80v80m321070.01
Qq3k1k2k2v80v80v80m41070.02
Qq3k1k2k2v80v80v80m810100.05
Qq3k1k3k1v40v40v40m161080.06
Qq3k1k3k1v40v40v40m21080.04
Qq3k1k3k1v40v40v40m321090.01
Qq3k1k3k1v40v40v40m41070.05
Qq3k1k3k1v40v40v40m81070.07
Qq3k1k3k1v80v80v80m161060.02
Qq3k1k3k1v80v80v80m21090.03
Qq3k1k3k1v80v80v80m321080.06
Qq3k1k3k1v80v80v80m41090.05
Qq3k1k3k1v80v80v80m810100.05
Qq3k2k1k2v40v40v40m1610100.05
Qq3k2k1k2v40v40v40m21090.04
Qq3k2k1k2v40v40v40m3210100.06
Qq3k2k1k2v40v40v40m410100.05
Qq3k2k1k2v40v40v40m81090.04
Qq3k2k1k2v80v80v80m161070.04
Qq3k2k1k2v80v80v80m21090.03
Qq3k2k1k2v80v80v80m321080.08
Qq3k2k1k2v80v80v80m41090.01
Qq3k2k1k2v80v80v80m81070.04
Qq3k2k2k1v40v40v40m1610100.05
Qq3k2k2k1v40v40v40m21090.04
Qq3k2k2k1v40v40v40m321070.04
Qq3k2k2k1v40v40v40m41070.03
Qq3k2k2k1v40v40v40m81090.04
Qq3k2k2k1v80v80v80m161090.04
Qq3k2k2k1v80v80v80m21060.09
Qq3k2k2k1v80v80v80m321040.03
Qq3k2k2k1v80v80v80m41080
Qq3k2k2k1v80v80v80m81080.02
Qq3k3k1k1v40v40v40m161090.03
Qq3k3k1k1v40v40v40m21090.07
Qq3k3k1k1v40v40v40m321090.05
Qq3k3k1k1v40v40v40m41080.02
Qq3k3k1k1v40v40v40m81080.03
Qq3k3k1k1v80v80v80m1610100.07
Qq3k3k1k1v80v80v80m21090.05
Qq3k3k1k1v80v80v80m321080.08
Qq3k3k1k1v80v80v80m41090.03
Qq3k3k1k1v80v80v80m81080.06
Qshifter444287.64
RobotsD2301640.76
RobotsD3301360.77
RobotsD4322569.7
RobotsD5312280
s2729335.99
s298172114.69
s3868129.68
s4991121510.06
s510413.44
s7131014255.6
s820813050.16
Sorting_networks371251479026.08
Strategic_Companies633133337228.93
SzymanskiP81381934.64
term138358531.33
tipdiam6528318.66
tipfixpoint2068811285.99
Toilet17219.84
ToiletA411182.26
ToiletC310.15
Tree710