aqua-f3v results solving families

aqua-f3v results solving families - 2016

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

aqua-f3v results solving families - 2016