caqe-minisat-cert results solving families

caqe-minisat-cert results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71			31417.05
Adder	115		2	20911.68
blackbox-01X-QBF	77		3	31214.54
blackbox_design	76			23383.36
Blocks	88	3	7	746.63
BMC	91	1	1	46437.19
bomb	51	2		19919.03
C432	73	2	1	9962.35
C499	76	3	1	15478.64
C5315	86	2	1	11665.14
C6288	86			8590.16
C880	78	2		6670.55
Chain	82			16194.21
circuits	75	1		41398.8
conformant_planning	88	3	1	32806.19
Connect4	68		2	14360.28
Counter	54	7		11330.53
Debug	103			62012.56
DFlipFlop	73		8	181.25
dungeon	73		3	36736.81
evader-pursuer-4x4-logarithmic	61	2		28999.82
evader-pursuer-4x4-standard	65			39000
evader-pursuer-6x6-logarithmic	74		1	41551.49
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		1	42828.4
FPGA_PLB_FIT_FAST	38	4	1	74.54
FPGA_PLB_FIT_SLOW	25	1		10714.86
fpu	47		10	2291.32
Generalized-Tic-Tac-Toe	54	1	5	16576.44
HardwareFixpoint	81			1.43
Impl	74	10		2.06
incrementer-encoder	67		6	26051.08
irqlkeapclte	121			18657.46
ISCAS89	32		1	3557.68
ITC99	56		1	19419.1
jmc_quant_squaring	118			50158.27
k_branch_n	88	1		35292.41
k_branch_p	103			41655.79
k_d4_n	73	2		17590.22
k_d4_p	72		2	13088.58
k_dum_n	66	3		6196.87
k_dum_p	74		4	13264.6
k_grz_n	68			22752.92
k_grz_p	70		2	13327.26
k_lin_n	64			30115.92
k_lin_p	65		10	99.3
k_path_n	67	1		12821.18
k_path_p	67		2	5596.75
k_ph_n	74	4		30416.53
k_ph_p	85		3	36462.67
k_poly_n	68	1		10062.93
k_poly_p	64		1	9813.99
k_t4p_n	71			13365.48
k_t4p_p	76			22993.19
LinearBitvectorRankingFunction	86			12083.7
Logn	29		4	333.08
mqm	84		1	22893.43
MutexP	78	1		12425.37
Planning-CTE	55	2		28666.15
QBF-Hardness	63		5	28383.19
qbfeval12	27	1	4	3004.9
Qshifter	62	1		31801.62
RankingFunctions	61			5904.65
Reduction-finding	65	1	2	15133.59
Rewriting	45		1	24033.89
s1196	44			7520.51
s1269	76			14647.98
s27	36	1		17409.59
s298	70			14026.99
s3330	76			21108.62
s386	69			12379.05
s499	62			10764.09
s510	59			11004.33
s641	55			9402.7
s713	73			12147.9
s820	72			12610.51
Sorting_networks	110	1	1	24805.08
SzymanskiP	99			18077.02
term1	69	4	1	10070.64
terminator	86			10491.7
tipdiam	86	3		9575
tipfixpoint	81		2	17094.57
ToiletA	48	3	7	87.17
ToiletC	48	1	9	891.78
ToiletG	43	7		1.6
trafficlight-controller	45		7	7494.51
Tree	74	1	8	4802.28
uclid	30			3280.15
VonNeumann	75		10	1383.29
wmiforward	74	3		11145.42
z4ml	61	4	4	1.58

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-minisat-cert results solving families - 2016