sKizzo-0.9-std results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1161034676.12
ASP_Program_Inclusion912835383.37
blackbox_design13154713.89
Blocks884793423.11
C43241172352.15
C4993026379.83
C53154122269.24
C62881012617.9
C8801827046.2
Chain3943.29
comp820.28
Connect438106643.73
Counter21536.3
CounterFactual9201151102127741.17
evader-pursuer-4x4-logarithmic3917758.97
evader-pursuer-6x6-logarithmic1714734.22
evader-pursuer-8x8-logarithmic37459.02
FPGA_PLB_FIT_FAST24371.2
FPGA_PLB_FIT_SLOW2512156.95
jmc_quant23198890.42
jmc_quant_squaring3372826.94
k_branch_n1813059.73
k_branch_p25340.06
k_d4_n426637.56
k_d4_p3655.76
k_dum_n3254.27
k_dum_p3844.16
k_grz_n3655276.23
k_grz_p37637.84
k_lin_n2733060.94
k_lin_p2852.36
k_path_n335316.51
k_path_p335281.97
k_ph_n203940.57
k_ph_p4149.2
k_poly_n42667.21
k_poly_p11319.76
k_t4p_n39649.13
k_t4p_p51610.88
Logn19223.13
mA-t2-1qbf-5cnf-160var-2560cl20103647.2
mA-t2-1qbf-5cnf-80var-2560cl20101426.46
mA-t2-2qbf-5cnf-160var-2560cl2010645.9
mA-t2-2qbf-5cnf-160var-320cl201108055.4
mA-t2-2qbf-5cnf-160var-5120cl2010327.88
mA-t2-2qbf-5cnf-40var-160cl20296125.38
mA-t2-2qbf-5cnf-40var-320cl2010328.9
mA-t2-2qbf-5cnf-40var-640cl2010250.58
mA-t2-2qbf-5cnf-80var-1280cl2010433.78
mA-t2-2qbf-5cnf-80var-320cl20649709.24
mA-t2-2qbf-5cnf-80var-640cl2010966.38
mA-t2-3qbf-5cnf-160var-2560cl2010193.74
mA-t2-3qbf-5cnf-160var-640cl20113389.6
mA-t2-3qbf-5cnf-20var-160cl20720889.34
mA-t2-3qbf-5cnf-20var-320cl20104416.58
mA-t2-3qbf-5cnf-40var-320cl201104610.34
mA-t2-3qbf-5cnf-40var-640cl2010102.6
mA-t2-3qbf-5cnf-80var-1280cl2010242.58
mA-t2-3qbf-5cnf-80var-2560cl201090.5
mA-t2-3qbf-5cnf-80var-320cl201108045.02
mA-t2-4qbf-5cnf-160var-2560cl2010314.22
mA-t2-4qbf-5cnf-160var-5120cl2010356.74
mA-t2-4qbf-5cnf-160var-640cl20119737.9
mA-t2-4qbf-5cnf-20var-160cl20652988.84
mA-t2-4qbf-5cnf-20var-320cl2010263.8
mA-t2-4qbf-5cnf-20var-640cl2010112.26
mA-t2-4qbf-5cnf-40var-1280cl2010334.74
mA-t2-4qbf-5cnf-40var-320cl20835940.72
mA-t2-4qbf-5cnf-40var-640cl2010348.1
mA-t2-4qbf-5cnf-80var-1280cl2010806.72
mA-t2-4qbf-5cnf-80var-2560cl2010313.28
mA-t2-4qbf-5cnf-80var-320cl20298377.22
mA-t2-5qbf-5cnf-160var-2560cl2010373.98
mA-t2-5qbf-5cnf-160var-5120cl2010242.08
mA-t2-5qbf-5cnf-160var-640cl20100.22
mA-t2-5qbf-5cnf-20var-320cl20930670.28
mA-t2-5qbf-5cnf-20var-640cl20104.14
mA-t2-5qbf-5cnf-40var-1280cl201099.22
mA-t2-5qbf-5cnf-40var-320cl20120012.26
mA-t2-5qbf-5cnf-40var-640cl20912406.12
mA-t2-5qbf-5cnf-80var-1280cl2010521.32
mA-t2-5qbf-5cnf-80var-2560cl2010194.26
mA-t2-5qbf-5cnf-80var-640cl20120014.48
mA-t2-6qbf-5cnf-160var-2560cl2010515.18
mA-t2-6qbf-5cnf-160var-5120cl2010373.02
mA-t2-6qbf-5cnf-160var-640cl20100.18
mA-t2-6qbf-5cnf-20var-160cl20113044
mA-t2-6qbf-5cnf-20var-320cl2010904.48
mA-t2-6qbf-5cnf-20var-640cl2010307.34
mA-t2-6qbf-5cnf-40var-1280cl2010523.8
mA-t2-6qbf-5cnf-40var-320cl201108076.84
mA-t2-6qbf-5cnf-40var-640cl20101037.4
mA-t2-6qbf-5cnf-80var-1280cl2010311.38
mA-t2-6qbf-5cnf-80var-2560cl2010355.5
mA-t2-6qbf-5cnf-80var-640cl20296503.4
MutexP4843.19
Qq2k1k4v40v40m1610550.03
Qq2k1k4v40v40m210100.04
Qq2k1k4v40v40m3210100.02
Qq2k1k4v40v40m410910.03
Qq2k1k4v40v40m810820.01
Qq2k1k4v80v80m1610730.05
Qq2k1k4v80v80m210100.02
Qq2k1k4v80v80m3210280.03
Qq2k1k4v80v80m410100.05
Qq2k1k4v80v80m810100.03
Qq2k2k3v40v40m1610100.05
Qq2k2k3v40v40m210100.01
Qq2k2k3v40v40m3210100.04
Qq2k2k3v40v40m410100.02
Qq2k2k3v40v40m810100.05
Qq2k2k3v80v80m1610100.04
Qq2k2k3v80v80m210100.04
Qq2k2k3v80v80m3210100.03
Qq2k2k3v80v80m410100.05
Qq2k2k3v80v80m810100.03
Qq2k3k2v40v40m1610100.01
Qq2k3k2v40v40m210100.02
Qq2k3k2v40v40m3210100.03
Qq2k3k2v40v40m410100.05
Qq2k3k2v40v40m810100.03
Qq2k3k2v80v80m1610100.02
Qq2k3k2v80v80m210100.01
Qq2k3k2v80v80m3210100.03
Qq2k3k2v80v80m410100.04
Qq2k3k2v80v80m810100.02
Qq3k1k1k3v40v40v40m1610100.01
Qq3k1k1k3v40v40v40m210100.01
Qq3k1k1k3v40v40v40m3210100.03
Qq3k1k1k3v40v40v40m410100.04
Qq3k1k1k3v40v40v40m810100.01
Qq3k1k1k3v80v80v80m1610100.02
Qq3k1k1k3v80v80v80m210100
Qq3k1k1k3v80v80v80m3210100.02
Qq3k1k1k3v80v80v80m410100.04
Qq3k1k1k3v80v80v80m810100.01
Qq3k1k2k2v40v40v40m1610100.04
Qq3k1k2k2v40v40v40m210100.02
Qq3k1k2k2v40v40v40m3210100.03
Qq3k1k2k2v40v40v40m410100.03
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m1610100.01
Qq3k1k2k2v80v80v80m210100.04
Qq3k1k2k2v80v80v80m3210100.02
Qq3k1k2k2v80v80v80m410100.01
Qq3k1k2k2v80v80v80m810100.02
Qq3k1k3k1v40v40v40m1610100.03
Qq3k1k3k1v40v40v40m210100.02
Qq3k1k3k1v40v40v40m3210100.03
Qq3k1k3k1v40v40v40m410100.03
Qq3k1k3k1v40v40v40m810100.04
Qq3k1k3k1v80v80v80m1610100.01
Qq3k1k3k1v80v80v80m210100
Qq3k1k3k1v80v80v80m3210100.04
Qq3k1k3k1v80v80v80m410100.04
Qq3k1k3k1v80v80v80m810100.03
Qq3k2k1k2v40v40v40m1610100.02
Qq3k2k1k2v40v40v40m210100.04
Qq3k2k1k2v40v40v40m3210100.02
Qq3k2k1k2v40v40v40m410100.05
Qq3k2k1k2v40v40v40m810100.03
Qq3k2k1k2v80v80v80m1610100.02
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.03
Qq3k2k1k2v80v80v80m410100.01
Qq3k2k1k2v80v80v80m810100.05
Qq3k2k2k1v40v40v40m1610100.02
Qq3k2k2k1v40v40v40m210100.01
Qq3k2k2k1v40v40v40m3210100.01
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.01
Qq3k2k2k1v80v80v80m1610100.02
Qq3k2k2k1v80v80v80m210100
Qq3k2k2k1v80v80v80m3210100.03
Qq3k2k2k1v80v80v80m410100.01
Qq3k2k2k1v80v80v80m810100.03
Qq3k3k1k1v40v40v40m1610100.01
Qq3k3k1k1v40v40v40m210100.03
Qq3k3k1k1v40v40v40m3210100.02
Qq3k3k1k1v40v40v40m410100.02
Qq3k3k1k1v40v40v40m810100.02
Qq3k3k1k1v80v80v80m1610100.05
Qq3k3k1k1v80v80v80m210100
Qq3k3k1k1v80v80v80m3210100.02
Qq3k3k1k1v80v80v80m410100.02
Qq3k3k1k1v80v80v80m810100.03
Qshifter45464.98
RobotsD230547274.39
RobotsD33010220.02
RobotsD43210151.22
RobotsD53110145.06
s272935.19
s298172140.18
s3868125.04
s499112561.9
s510414.44
s713101207.9
s82081214.32
Sorting_networks4331812432255.76
Strategic_Companies64418323465041.61
SzymanskiP872155568.77
term13827722.62
tipdiam652928537.45
tipfixpoint20889589976.57
Toilet17214.57
ToiletA411125.18
ToiletC310.15
Tree710