Qbfl results solving families - 2006

Family# Total# Sat# UnsatTime
Adder116285008.56
ASP_Program_Inclusion913729473.77
blackbox_design131288377.97
Blocks88160237.89
C4324124507.14
C49930115115.7
C531541245636.29
C6288105990.5
C8801818725.16
Chain39120455.39
comp84696.84
Connect4381232175.45
Counter2112390.48
CounterFactual9207361868120.73
evader-pursuer-4x4-logarithmic39119547.03
evader-pursuer-6x6-logarithmic1724246.55
evader-pursuer-8x8-logarithmic37377338.33
FPGA_PLB_FIT_FAST2414172.64
FPGA_PLB_FIT_SLOW2514673.4
jmc_quant2313477.36
jmc_quant_squaring3319272.74
k_branch_n1859248.62
k_branch_p25128159.46
k_d4_n4225027.43
k_d4_p3621420.47
k_dum_n3218912.49
k_dum_p3822494.97
k_grz_n36215253.31
k_grz_p3721918.84
k_lin_n27145546.13
k_lin_p2890247.17
k_path_n3319690
k_path_p3319691.31
k_ph_n2011944.13
k_ph_p42383.4
k_poly_n42224812.21
k_poly_p1165957.3
k_t4p_n3971540.79
k_t4p_p5130331.79
Logn19113928.4
mA-t2-1qbf-5cnf-160var-2560cl20648025.64
mA-t2-1qbf-5cnf-80var-2560cl20120017.44
mA-t2-2qbf-5cnf-160var-2560cl20579363.92
mA-t2-2qbf-5cnf-160var-320cl2022756.28
mA-t2-2qbf-5cnf-160var-5120cl20102.06
mA-t2-2qbf-5cnf-40var-160cl20110817.5
mA-t2-2qbf-5cnf-40var-320cl2039819.22
mA-t2-2qbf-5cnf-40var-640cl20100.24
mA-t2-2qbf-5cnf-80var-1280cl201056.02
mA-t2-2qbf-5cnf-80var-320cl2011969.56
mA-t2-2qbf-5cnf-80var-640cl20119877.44
mA-t2-3qbf-5cnf-160var-2560cl20119983.54
mA-t2-3qbf-5cnf-160var-640cl20100.28
mA-t2-3qbf-5cnf-20var-160cl20107.14
mA-t2-3qbf-5cnf-20var-320cl201067.48
mA-t2-3qbf-5cnf-40var-320cl2091198.14
mA-t2-3qbf-5cnf-40var-640cl2039866.52
mA-t2-3qbf-5cnf-80var-1280cl20109105.06
mA-t2-3qbf-5cnf-80var-2560cl2011992.06
mA-t2-3qbf-5cnf-80var-320cl20100.12
mA-t2-4qbf-5cnf-160var-2560cl20119983.52
mA-t2-4qbf-5cnf-160var-5120cl20119994.04
mA-t2-4qbf-5cnf-160var-640cl2087487.98
mA-t2-4qbf-5cnf-20var-160cl20191578.4
mA-t2-4qbf-5cnf-20var-320cl201020.9
mA-t2-4qbf-5cnf-20var-640cl20100.94
mA-t2-4qbf-5cnf-40var-1280cl2010522.52
mA-t2-4qbf-5cnf-40var-320cl2039704.64
mA-t2-4qbf-5cnf-40var-640cl20111203.46
mA-t2-4qbf-5cnf-80var-1280cl2098298.88
mA-t2-4qbf-5cnf-80var-2560cl203103236.44
mA-t2-4qbf-5cnf-80var-320cl2038533.64
mA-t2-5qbf-5cnf-160var-2560cl20119989.34
mA-t2-5qbf-5cnf-160var-5120cl20119994.16
mA-t2-5qbf-5cnf-160var-640cl20100.1
mA-t2-5qbf-5cnf-20var-320cl20102781.1
mA-t2-5qbf-5cnf-20var-640cl2010119.1
mA-t2-5qbf-5cnf-40var-1280cl20135933.46
mA-t2-5qbf-5cnf-40var-320cl20100.14
mA-t2-5qbf-5cnf-40var-640cl20132568.78
mA-t2-5qbf-5cnf-80var-1280cl20109132.74
mA-t2-5qbf-5cnf-80var-2560cl20119905.46
mA-t2-5qbf-5cnf-80var-640cl20100.2
mA-t2-6qbf-5cnf-160var-2560cl20119976.7
mA-t2-6qbf-5cnf-160var-5120cl20119998.16
mA-t2-6qbf-5cnf-160var-640cl20100.12
mA-t2-6qbf-5cnf-20var-160cl2055651.9
mA-t2-6qbf-5cnf-20var-320cl20101065.78
mA-t2-6qbf-5cnf-20var-640cl2010164.84
mA-t2-6qbf-5cnf-40var-1280cl20187805.26
mA-t2-6qbf-5cnf-40var-320cl2067002.8
mA-t2-6qbf-5cnf-40var-640cl2055101.52
mA-t2-6qbf-5cnf-80var-1280cl20109156.66
mA-t2-6qbf-5cnf-80var-2560cl20119912.1
mA-t2-6qbf-5cnf-80var-640cl20179310.46
MutexP48287738.49
Qq2k1k4v40v40m1610550.03
Qq2k1k4v40v40m210100.06
Qq2k1k4v40v40m3210100.05
Qq2k1k4v40v40m410910.03
Qq2k1k4v40v40m810820.05
Qq2k1k4v80v80m1610730.04
Qq2k1k4v80v80m210100.05
Qq2k1k4v80v80m3210280.05
Qq2k1k4v80v80m410100.04
Qq2k1k4v80v80m810100.04
Qq2k2k3v40v40m1610100.03
Qq2k2k3v40v40m210100.03
Qq2k2k3v40v40m3210100.02
Qq2k2k3v40v40m410100.02
Qq2k2k3v40v40m810100.02
Qq2k2k3v80v80m1610100.03
Qq2k2k3v80v80m210100.04
Qq2k2k3v80v80m3210100.03
Qq2k2k3v80v80m410100.01
Qq2k2k3v80v80m810100.04
Qq2k3k2v40v40m1610100.02
Qq2k3k2v40v40m210100.04
Qq2k3k2v40v40m3210100.02
Qq2k3k2v40v40m410100.06
Qq2k3k2v40v40m810100.03
Qq2k3k2v80v80m1610100.03
Qq2k3k2v80v80m210100.06
Qq2k3k2v80v80m3210100.04
Qq2k3k2v80v80m410100.02
Qq2k3k2v80v80m810100.03
Qq3k1k1k3v40v40v40m1610100.02
Qq3k1k1k3v40v40v40m210100.04
Qq3k1k1k3v40v40v40m3210100.01
Qq3k1k1k3v40v40v40m410100.02
Qq3k1k1k3v40v40v40m810100.05
Qq3k1k1k3v80v80v80m1610100.04
Qq3k1k1k3v80v80v80m210100.04
Qq3k1k1k3v80v80v80m3210100.07
Qq3k1k1k3v80v80v80m410100.06
Qq3k1k1k3v80v80v80m810100.08
Qq3k1k2k2v40v40v40m1610100.03
Qq3k1k2k2v40v40v40m210100.05
Qq3k1k2k2v40v40v40m3210100.08
Qq3k1k2k2v40v40v40m410100.05
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m1610100.05
Qq3k1k2k2v80v80v80m210100.02
Qq3k1k2k2v80v80v80m3210100.06
Qq3k1k2k2v80v80v80m410100.02
Qq3k1k2k2v80v80v80m810100.02
Qq3k1k3k1v40v40v40m1610100.04
Qq3k1k3k1v40v40v40m210100.03
Qq3k1k3k1v40v40v40m3210100.07
Qq3k1k3k1v40v40v40m410100.05
Qq3k1k3k1v40v40v40m810100.05
Qq3k1k3k1v80v80v80m1610100.01
Qq3k1k3k1v80v80v80m210100.02
Qq3k1k3k1v80v80v80m3210100.11
Qq3k1k3k1v80v80v80m410100.03
Qq3k1k3k1v80v80v80m810100.01
Qq3k2k1k2v40v40v40m1610100.07
Qq3k2k1k2v40v40v40m210100.02
Qq3k2k1k2v40v40v40m3210100.05
Qq3k2k1k2v40v40v40m410100.03
Qq3k2k1k2v40v40v40m810100.04
Qq3k2k1k2v80v80v80m1610100.03
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.02
Qq3k2k1k2v80v80v80m410100.03
Qq3k2k1k2v80v80v80m810100.03
Qq3k2k2k1v40v40v40m1610100.03
Qq3k2k2k1v40v40v40m210100.02
Qq3k2k2k1v40v40v40m3210100.02
Qq3k2k2k1v40v40v40m410100.06
Qq3k2k2k1v40v40v40m810100.02
Qq3k2k2k1v80v80v80m1610100.04
Qq3k2k2k1v80v80v80m210100.08
Qq3k2k2k1v80v80v80m3210100.04
Qq3k2k2k1v80v80v80m410100.02
Qq3k2k2k1v80v80v80m810100.05
Qq3k3k1k1v40v40v40m1610100.05
Qq3k3k1k1v40v40v40m210100.05
Qq3k3k1k1v40v40v40m3210100.04
Qq3k3k1k1v40v40v40m410100.03
Qq3k3k1k1v40v40v40m810100.02
Qq3k3k1k1v80v80v80m1610100.02
Qq3k3k1k1v80v80v80m210100.05
Qq3k3k1k1v80v80v80m3210100.05
Qq3k3k1k1v80v80v80m410100.04
Qq3k3k1k1v80v80v80m810100.04
Qshifter45411504.74
RobotsD230180021.48
RobotsD330180016.02
RobotsD432192019.1
RobotsD531186030.02
s272916817.91
s2981710113.46
s38684751.6
s499116564.98
s51042381
s713105975.1
s82084775.84
Sorting_networks433631620074.31
Strategic_Companies64423613270174.99
SzymanskiP87955460.48
term138114290.73
tipdiam65283319.85
tipfixpoint20832529701.97
Toilet1710142.81
ToiletA423988.82
ToiletC31799.1
Tree73712.59