caqe-minisat-cert results solving families

caqe-minisat-cert results solving families - 2016

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