qestos results solving families

qestos results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	3	5	12106.12
Adder	115	0	2	43791.31
blackbox-01X-QBF	77	0	9	8840.88
blackbox_design	76	7	0	14006.92
Blocks	88	3	7	7.91
BMC	91	5	3	14862.73
bomb	51	3	0	19217.73
C432	73	3	3	10865.12
C499	76	3	2	18611.63
C5315	86	2	2	25991.44
C6288	86	0	0	36907.81
C880	78	2	0	35990.76
Chain	82	10	0	0.79
circuits	75	3	0	35381.6
conformant_planning	79	6	4	3132.65
Connect4	68	0	5	13587.8
Counter	54	8	0	7798.97
Debug	103	0	0	58399.89
DFlipFlop	73	0	10	20.98
dungeon	73	0	3	35388.6
evader-pursuer-4x4-logarithmic	61	3	0	23434.01
evader-pursuer-4x4-standard	65	0	0	17311.38
evader-pursuer-6x6-logarithmic	74	0	3	14175.01
evader-pursuer-6x6-standard	77	0	0	16938.03
evader-pursuer-8x8-logarithmic	78	0	2	14191.45
FPGA_PLB_FIT_FAST	38	4	1	5.18
FPGA_PLB_FIT_SLOW	25	1	2	7.67
fpu	47	0	10	66.46
Generalized-Tic-Tac-Toe	54	1	6	13234.11
HardwareFixpoint	81	2	2	27532.13
Impl	74	10	0	0
incrementer-encoder	67	1	9	471.1
irqlkeapclte	121	0	0	72284.57
ISCAS89	32	6	1	33.47
ITC99	56	1	1	15211.58
jmc_quant_squaring	118	0	0	69070.44
k_branch_n	88	6	0	29846.01
k_branch_p	103	0	4	38401.69
k_d4_n	73	10	0	6.61
k_d4_p	72	0	10	2.07
k_dum_n	66	10	0	0.63
k_dum_p	74	0	10	0.8
k_grz_n	68	10	0	2.66
k_grz_p	70	0	10	1.74
k_lin_n	64	10	0	47.17
k_lin_p	65	0	10	1.38
k_path_n	67	10	0	1.26
k_path_p	67	0	10	1.58
k_ph_n	74	10	0	797.61
k_ph_p	85	0	4	32350.43
k_poly_n	68	10	0	0.52
k_poly_p	64	0	10	0.51
k_t4p_n	71	10	0	3.49
k_t4p_p	76	0	10	2.9
LinearBitvectorRankingFunction	86	0	2	14171.11
Logn	29	0	4	39.62
mqm	84	0	1	46180.4
MutexP	78	7	0	4.15
Planning-CTE	55	2	0	23341.71
QBF-Hardness	63	0	5	26320.87
qbfeval12	27	2	4	173.44
Qshifter	62	6	0	76.37
RankingFunctions	61	10	0	1.98
Reduction-finding	65	1	6	11522.94
Rewriting	45	0	10	0.09
s1196	44	0	0	19197.58
s1269	76	0	0	37402.98
s27	36	1	3	4.91
s298	70	2	0	22644.33
s3330	76	1	0	40266.48
s386	69	2	0	25084.13
s499	62	0	0	21768.1
s510	59	0	0	32012.78
s641	55	1	0	25250.81
s713	73	1	0	30498.82
s820	72	1	0	24177.86
Sorting_networks	110	5	1	33255.49
SzymanskiP	99	0	10	1388.96
term1	69	4	4	4411.81
terminator	86	0	4	35413.06
tipdiam	86	4	0	33765.35
tipfixpoint	81	2	3	25637.67
ToiletA	48	3	7	8.18
ToiletC	48	1	9	183.2
ToiletG	43	7	0	0
trafficlight-controller	45	0	10	108.25
Tree	74	2	8	0
uclid	30	0	0	17994.3
VonNeumann	75	0	10	47.65
wmiforward	74	10	0	1.42
z4ml	61	4	4	0.46

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

qestos results solving families - 2016