aqua-f3v results solving families

aqua-f3v results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	8586.59
Adder	115	0	2	60587.4
blackbox-01X-QBF	77	0	8	12397.97
blackbox_design	76	10	0	11.17
Blocks	88	3	6	6105.26
BMC	91	3	2	33616.96
bomb	51	3	0	22806.89
C432	73	3	3	13882.26
C499	76	3	1	25811.31
C5315	86	2	1	34698.75
C6288	86	2	0	40192.18
C880	78	2	1	30180.12
Chain	82	10	0	2.5
circuits	75	1	0	41393.54
conformant_planning	79	5	1	21040.95
Connect4	68	0	6	10949.49
Counter	54	7	0	12922.03
Debug	103	0	0	61800
DFlipFlop	73	0	10	102.35
dungeon	73	0	0	43761.62
evader-pursuer-4x4-logarithmic	61	6	0	7308.09
evader-pursuer-4x4-standard	65	0	0	38984.94
evader-pursuer-6x6-logarithmic	74	0	5	13593.79
evader-pursuer-6x6-standard	77	0	0	46198.38
evader-pursuer-8x8-logarithmic	78	0	5	21608.97
FPGA_PLB_FIT_FAST	38	4	1	6.08
FPGA_PLB_FIT_SLOW	25	1	2	1725.65
fpu	47	0	10	673.12
Generalized-Tic-Tac-Toe	54	1	5	8320.63
HardwareFixpoint	81	2	2	36858.5
Impl	74	10	0	0
incrementer-encoder	67	0	6	24618.02
irqlkeapclte	121	0	0	72565.79
ISCAS89	32	4	1	2001.7
ITC99	56	1	1	23768.54
jmc_quant_squaring	118	1	1	58796.14
k_branch_n	88	3	0	27073.65
k_branch_p	103	0	1	36269.37
k_d4_n	73	3	0	33595.03
k_d4_p	72	0	10	2.01
k_dum_n	66	6	0	20389.96
k_dum_p	74	0	8	12294.48
k_grz_n	68	7	0	15012.37
k_grz_p	70	0	8	7721.68
k_lin_n	64	10	0	42.37
k_lin_p	65	0	10	2.74
k_path_n	67	4	0	24611.76
k_path_p	67	0	2	32391.74
k_ph_n	74	10	0	404.35
k_ph_p	85	0	3	40185.86
k_poly_n	68	10	0	1.57
k_poly_p	64	0	10	1.03
k_t4p_n	71	1	0	38395.73
k_t4p_p	76	0	1	39059.91
LinearBitvectorRankingFunction	86	0	0	51577.34
Logn	29	0	4	43.09
mqm	84	1	5	25029.72
MutexP	78	7	0	3.96
Planning-CTE	55	2	1	26060.98
QBF-Hardness	63	0	6	21972.6
qbfeval12	27	1	4	2999.84
Qshifter	62	5	0	7549.83
RankingFunctions	61	10	0	10.97
Reduction-finding	65	2	5	21885.14
Rewriting	45	0	10	27.05
s1196	44	1	0	21647.79
s1269	76	0	0	45600
s27	36	1	3	0.4
s298	70	2	0	31993.56
s3330	76	1	0	40881.28
s386	69	1	2	30741.06
s499	62	0	0	37198.98
s510	59	1	0	32309.94
s641	55	4	0	19848.64
s713	73	5	0	21624.03
s820	72	4	0	29558.18
Sorting_networks	110	3	3	36832.03
SzymanskiP	99	0	10	2066.85
term1	69	4	4	386.93
terminator	86	0	9	6681.39
tipdiam	86	5	1	31088.95
tipfixpoint	81	3	3	25887.12
ToiletA	48	3	7	46.81
ToiletC	48	1	8	2999.9
ToiletG	43	7	0	0.07
trafficlight-controller	45	0	8	5089.79
Tree	74	2	8	0
uclid	30	0	0	17994.57
VonNeumann	75	0	10	525.12
wmiforward	74	7	0	15619.18
z4ml	61	4	4	0

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

aqua-f3v results solving families - 2016