openQbf results solving families - 2006

Family# Total# Sat# UnsatTime
Adder103618087.63
ASP_Program_Inclusion917470623.61
blackbox_design131786109.59
Blocks88528077.76
C43241246031.21
C49930180025.38
C531541246036.61
C62881060008.8
C88018108016.52
Chain392164274.66
comp848007.08
Connect4381325485.05
Counter21126018.43
CounterFactual920981152811847.07
evader-pursuer-4x4-logarithmic372144074.87
evader-pursuer-6x6-logarithmic1626777.05
evader-pursuer-8x8-logarithmic36386609.9
FPGA_PLB_FIT_FAST24311150.8
FPGA_PLB_FIT_SLOW251177001.25
jmc_quant21126017.96
jmc_quant_squaring28168022.22
k_branch_n18108014.49
k_branch_p23138021.3
k_d4_n42252037.33
k_d4_p36216030.16
k_dum_n32192027.18
k_dum_p38228032.19
k_grz_n36216029.55
k_grz_p37222031.02
k_lin_n27162023.64
k_lin_p28168016.16
k_path_n33198028.58
k_path_p33198027.99
k_ph_n20120015.81
k_ph_p424003.64
k_poly_n42252030.1
k_poly_p1135.08
k_t4p_n39234033.28
k_t4p_p51306043.84
Logn19114017.68
mA-t2-1qbf-5cnf-160var-2560cl20108581.46
mA-t2-1qbf-5cnf-80var-2560cl20104731.7
mA-t2-2qbf-5cnf-160var-2560cl201036.76
mA-t2-2qbf-5cnf-160var-320cl20120015.86
mA-t2-2qbf-5cnf-160var-5120cl201020.22
mA-t2-2qbf-5cnf-40var-160cl201111570.62
mA-t2-2qbf-5cnf-40var-320cl20569914.02
mA-t2-2qbf-5cnf-40var-640cl20106.64
mA-t2-2qbf-5cnf-80var-1280cl201013.92
mA-t2-2qbf-5cnf-80var-320cl20120016.16
mA-t2-2qbf-5cnf-80var-640cl20120017.54
mA-t2-3qbf-5cnf-160var-2560cl20120018.18
mA-t2-3qbf-5cnf-160var-640cl20912005.84
mA-t2-3qbf-5cnf-20var-160cl201016.52
mA-t2-3qbf-5cnf-20var-320cl201030.16
mA-t2-3qbf-5cnf-40var-320cl20662851.26
mA-t2-3qbf-5cnf-40var-640cl20104389
mA-t2-3qbf-5cnf-80var-1280cl20120015.64
mA-t2-3qbf-5cnf-80var-2560cl20107.36
mA-t2-3qbf-5cnf-80var-320cl20104.64
mA-t2-4qbf-5cnf-160var-2560cl20120017.46
mA-t2-4qbf-5cnf-160var-5120cl201020.8
mA-t2-4qbf-5cnf-160var-640cl20120010.6
mA-t2-4qbf-5cnf-20var-160cl20288411.62
mA-t2-4qbf-5cnf-20var-320cl201034
mA-t2-4qbf-5cnf-20var-640cl20105.32
mA-t2-4qbf-5cnf-40var-1280cl20106.54
mA-t2-4qbf-5cnf-40var-320cl20120016.1
mA-t2-4qbf-5cnf-40var-640cl20102325.24
mA-t2-4qbf-5cnf-80var-1280cl201108023.66
mA-t2-4qbf-5cnf-80var-2560cl201018.84
mA-t2-4qbf-5cnf-80var-320cl20384916.68
mA-t2-5qbf-5cnf-160var-2560cl20120017.82
mA-t2-5qbf-5cnf-160var-5120cl20739883.96
mA-t2-5qbf-5cnf-160var-640cl20105.32
mA-t2-5qbf-5cnf-20var-320cl2010645.16
mA-t2-5qbf-5cnf-20var-640cl20107.9
mA-t2-5qbf-5cnf-40var-1280cl2010123.7
mA-t2-5qbf-5cnf-40var-320cl20917483.98
mA-t2-5qbf-5cnf-40var-640cl20297849.54
mA-t2-5qbf-5cnf-80var-1280cl20120015
mA-t2-5qbf-5cnf-80var-2560cl20834065.06
mA-t2-5qbf-5cnf-80var-640cl20120016.4
mA-t2-6qbf-5cnf-160var-2560cl20120017.62
mA-t2-6qbf-5cnf-160var-5120cl20834983.32
mA-t2-6qbf-5cnf-160var-640cl20105.1
mA-t2-6qbf-5cnf-20var-160cl20913395.3
mA-t2-6qbf-5cnf-20var-320cl2010908.78
mA-t2-6qbf-5cnf-20var-640cl20106.72
mA-t2-6qbf-5cnf-40var-1280cl2010260.64
mA-t2-6qbf-5cnf-40var-320cl20120014.1
mA-t2-6qbf-5cnf-40var-640cl203101481.82
mA-t2-6qbf-5cnf-80var-1280cl20120014.5
mA-t2-6qbf-5cnf-80var-2560cl20101940.82
mA-t2-6qbf-5cnf-80var-640cl20120015.06
MutexP48288037.61
Qq2k1k4v40v40m1610551.46
Qq2k1k4v40v40m210101.45
Qq2k1k4v40v40m3210101.59
Qq2k1k4v40v40m410911.55
Qq2k1k4v40v40m810821.54
Qq2k1k4v80v80m1610731.6
Qq2k1k4v80v80m210101.49
Qq2k1k4v80v80m3210281.57
Qq2k1k4v80v80m410101.67
Qq2k1k4v80v80m810101.51
Qq2k2k3v40v40m1610101.54
Qq2k2k3v40v40m210101.49
Qq2k2k3v40v40m3210101.59
Qq2k2k3v40v40m410101.63
Qq2k2k3v40v40m810101.65
Qq2k2k3v80v80m1610101.56
Qq2k2k3v80v80m210101.56
Qq2k2k3v80v80m3210101.61
Qq2k2k3v80v80m410101.58
Qq2k2k3v80v80m810101.53
Qq2k3k2v40v40m1610101.47
Qq2k3k2v40v40m210101.46
Qq2k3k2v40v40m3210101.53
Qq2k3k2v40v40m410101.47
Qq2k3k2v40v40m810101.52
Qq2k3k2v80v80m1610101.56
Qq2k3k2v80v80m210101.48
Qq2k3k2v80v80m3210101.64
Qq2k3k2v80v80m410101.56
Qq2k3k2v80v80m810101.56
Qq3k1k1k3v40v40v40m1610101.5
Qq3k1k1k3v40v40v40m210101.56
Qq3k1k1k3v40v40v40m3210101.48
Qq3k1k1k3v40v40v40m410101.58
Qq3k1k1k3v40v40v40m810101.48
Qq3k1k1k3v80v80v80m1610101.62
Qq3k1k1k3v80v80v80m210101.64
Qq3k1k1k3v80v80v80m3210101.54
Qq3k1k1k3v80v80v80m410101.51
Qq3k1k1k3v80v80v80m810101.56
Qq3k1k2k2v40v40v40m1610101.56
Qq3k1k2k2v40v40v40m210101.48
Qq3k1k2k2v40v40v40m3210101.57
Qq3k1k2k2v40v40v40m410101.54
Qq3k1k2k2v40v40v40m810101.52
Qq3k1k2k2v80v80v80m1610101.56
Qq3k1k2k2v80v80v80m210101.51
Qq3k1k2k2v80v80v80m3210101.69
Qq3k1k2k2v80v80v80m410101.57
Qq3k1k2k2v80v80v80m810101.49
Qq3k1k3k1v40v40v40m1610101.52
Qq3k1k3k1v40v40v40m210101.56
Qq3k1k3k1v40v40v40m3210101.62
Qq3k1k3k1v40v40v40m410101.55
Qq3k1k3k1v40v40v40m810101.58
Qq3k1k3k1v80v80v80m1610101.58
Qq3k1k3k1v80v80v80m210101.53
Qq3k1k3k1v80v80v80m3210101.68
Qq3k1k3k1v80v80v80m410101.54
Qq3k1k3k1v80v80v80m810101.5
Qq3k2k1k2v40v40v40m1610101.55
Qq3k2k1k2v40v40v40m210101.61
Qq3k2k1k2v40v40v40m3210101.64
Qq3k2k1k2v40v40v40m410101.53
Qq3k2k1k2v40v40v40m810101.55
Qq3k2k1k2v80v80v80m1610101.64
Qq3k2k1k2v80v80v80m210101.46
Qq3k2k1k2v80v80v80m3210101.57
Qq3k2k1k2v80v80v80m410101.54
Qq3k2k1k2v80v80v80m810101.59
Qq3k2k2k1v40v40v40m1610101.56
Qq3k2k2k1v40v40v40m210101.57
Qq3k2k2k1v40v40v40m3210101.6
Qq3k2k2k1v40v40v40m410101.58
Qq3k2k2k1v40v40v40m810101.51
Qq3k2k2k1v80v80v80m1610101.51
Qq3k2k2k1v80v80v80m210101.54
Qq3k2k2k1v80v80v80m3210101.55
Qq3k2k2k1v80v80v80m410101.58
Qq3k2k2k1v80v80v80m810101.61
Qq3k3k1k1v40v40v40m1610101.58
Qq3k3k1k1v40v40v40m210101.59
Qq3k3k1k1v40v40v40m3210101.67
Qq3k3k1k1v40v40v40m410101.44
Qq3k3k1k1v40v40v40m810101.45
Qq3k3k1k1v80v80v80m1610101.52
Qq3k3k1k1v80v80v80m210101.5
Qq3k3k1k1v80v80v80m3210101.55
Qq3k3k1k1v80v80v80m410101.49
Qq3k3k1k1v80v80v80m810101.54
Qshifter44264040.44
RobotsD2301010940.76
RobotsD330109311.91
RobotsD432108553.4
RobotsD531108306.95
s2729174024.92
s29817102015.34
s386848007.28
s4991166009.72
s510424003.68
s7131060009.3
s820848006.8
Sorting_networks371432105015.4
Strategic_Companies63325713124663.14
SzymanskiP81914094.18
term138228033.59
tipdiam652856830.93
tipfixpoint206221190466.46
Toilet17182604.65
ToiletA4121013.02
ToiletC311.23
Tree742001.75