aqua-s3o results solving families

aqua-s3o results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	7324.54
Adder	115	0	2	60582.66
blackbox-01X-QBF	77	0	8	12189.11
blackbox_design	76	10	0	9.37
Blocks	88	3	6	5553.07
BMC	91	3	2	33855.67
bomb	51	2	0	25773.18
C432	73	3	3	13396.22
C499	76	3	1	25913.77
C5315	86	2	1	34414.6
C6288	86	2	0	40194.09
C880	78	2	1	31761.1
Chain	82	10	0	2.5
circuits	75	1	0	41391.75
conformant_planning	79	4	2	23972.93
Connect4	68	0	6	8470.06
Counter	54	7	0	13633.58
Debug	103	0	0	61798.2
DFlipFlop	73	0	10	102.4
dungeon	73	0	1	40770.82
evader-pursuer-4x4-logarithmic	61	6	0	7394.16
evader-pursuer-4x4-standard	65	0	0	38983.57
evader-pursuer-6x6-logarithmic	74	0	5	12792.48
evader-pursuer-6x6-standard	77	0	0	46200
evader-pursuer-8x8-logarithmic	78	0	5	21474.95
FPGA_PLB_FIT_FAST	38	4	1	7.28
FPGA_PLB_FIT_SLOW	25	1	2	1988.11
fpu	47	0	10	671.55
Generalized-Tic-Tac-Toe	54	1	5	7600.31
HardwareFixpoint	81	2	2	35217.19
Impl	74	10	0	0
incrementer-encoder	67	0	6	24618.53
irqlkeapclte	121	0	0	72566.22
ISCAS89	32	3	1	4248.71
ITC99	56	1	1	19681.04
jmc_quant_squaring	118	1	1	57827.79
k_branch_n	88	3	0	28907.21
k_branch_p	103	0	1	37838.17
k_d4_n	73	3	0	33598.37
k_d4_p	72	0	10	2.01
k_dum_n	66	6	0	18867.79
k_dum_p	74	0	8	11233.78
k_grz_n	68	7	0	15010.4
k_grz_p	70	0	8	7677.38
k_lin_n	64	10	0	44.45
k_lin_p	65	0	10	2.82
k_path_n	67	4	0	24609.38
k_path_p	67	0	2	32390.26
k_ph_n	74	10	0	409.17
k_ph_p	85	0	3	40185.88
k_poly_n	68	10	0	1.57
k_poly_p	64	0	10	1.03
k_t4p_n	71	1	0	38402.08
k_t4p_p	76	0	1	39002.84
LinearBitvectorRankingFunction	86	0	0	51578.12
Logn	29	0	4	43
mqm	84	2	5	24214.19
MutexP	78	7	0	3.96
Planning-CTE	55	2	0	27600.49
QBF-Hardness	63	0	6	21958.08
qbfeval12	27	1	4	3000.09
Qshifter	62	5	0	7549.54
RankingFunctions	61	10	0	10.97
Reduction-finding	65	2	5	22225.52
Rewriting	45	0	10	27.39
s1196	44	1	0	21651.64
s1269	76	0	0	45600
s27	36	1	3	0.4
s298	70	2	0	31994.36
s3330	76	1	0	40881.36
s386	69	1	2	30619.19
s499	62	0	0	37200
s510	59	1	0	32333.88
s641	55	4	0	19757.06
s713	73	5	0	21725.54
s820	72	4	0	27994.26
Sorting_networks	110	2	3	38450.3
SzymanskiP	99	0	10	1418.18
term1	69	4	4	327.7
terminator	86	0	9	6689.59
tipdiam	86	4	1	36361.98
tipfixpoint	81	3	3	25859.25
ToiletA	48	3	7	46.43
ToiletC	48	1	8	2999.8
ToiletG	43	7	0	0.07
trafficlight-controller	45	0	8	4943.63
Tree	74	2	8	0
uclid	30	0	0	17993.5
VonNeumann	75	0	10	525.48
wmiforward	74	7	0	15613.16
z4ml	61	4	4	0

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

aqua-s3o results solving families - 2016