aqme-10 results solving families

aqme-10 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6114.1
Adder	115	2	2	48505.4
blackbox-01X-QBF	77		7	19171
blackbox_design	76			45600
Blocks	88	3	7	285.93
BMC	91	4	3	19970.91
bomb	51	4		18949.98
C432	73	3	5	3472.59
C499	76	3	2	18824.35
C5315	86	2	2	27119.3
C6288	86	2		40277.76
C880	78	1		42007.44
Chain	82	10		57.83
circuits	75	2		36950.44
conformant_planning	79	5	4	11299.38
Connect4	68		6	19283.39
Counter	54	9		5139.34
Debug	103	8		19378.35
DFlipFlop	73		10	91.78
dungeon	73		10	675.27
evader-pursuer-4x4-logarithmic	61	6		11623.52
evader-pursuer-4x4-standard	65	2		33195.08
evader-pursuer-6x6-logarithmic	74		3	30460.63
evader-pursuer-6x6-standard	77		2	37131.68
evader-pursuer-8x8-logarithmic	78		4	25562.42
FPGA_PLB_FIT_FAST	38	4	1	28.16
FPGA_PLB_FIT_SLOW	25	1	2	32.46
fpu	47		10	568.62
Generalized-Tic-Tac-Toe	54	1	8	7161.95
HardwareFixpoint	81			48600
Impl	74	10		38.38
incrementer-encoder	67		6	24670.43
irqlkeapclte	121			72600
ISCAS89	32	6		2578.67
ITC99	56	2		24695.25
jmc_quant_squaring	118			70800
k_branch_n	88	3		40282.98
k_branch_p	103		9	11448.55
k_d4_n	73	7		20915.12
k_d4_p	72		10	371.76
k_dum_n	66	10		37.12
k_dum_p	74		10	42.03
k_grz_n	68	10		251.39
k_grz_p	70		10	295.7
k_lin_n	64	10		1320.61
k_lin_p	65		10	90.55
k_path_n	67	10		38.78
k_path_p	67		10	40.02
k_ph_n	74	5		22822.46
k_ph_p	85		3	40211.65
k_poly_n	68	10		42.59
k_poly_p	64		10	37.37
k_t4p_n	71	10		2672.54
k_t4p_p	76		10	3300.35
LinearBitvectorRankingFunction	86			51600
Logn	29		4	49.09
mqm	84	4	4	17501.69
MutexP	78	7		65.99
Planning-CTE	55	2	3	15153.83
QBF-Hardness	63		6	22747.21
qbfeval12	27	1	4	3016.87
Qshifter	62	6		220.84
RankingFunctions	61	6		17198.18
Reduction-finding	65	1	4	26723.32
Rewriting	45		10	33.55
s1196	44			26400
s1269	76			45600
s27	36	1	3	37.29
s298	70	2		31875.68
s3330	76			45600
s386	69	1		36614.24
s499	62			37200
s510	59			35400
s641	55	1		29035.13
s713	73	1		38640.3
s820	72	1		38859.6
Sorting_networks	110	4	3	25943.83
SzymanskiP	99		10	1483.32
term1	69	4	2	12038.09
terminator	86		6	22611.28
tipdiam	86	5		31286.32
tipfixpoint	81	1	3	33400.14
ToiletA	48	3	7	49.4
ToiletC	48	1	9	660.01
ToiletG	43	7		24.05
trafficlight-controller	45		10	261.47
Tree	74	2	8	44.75
uclid	30			18000
VonNeumann	75		10	345.35
wmiforward	74	5		23450.77
z4ml	61	4	4	38.44

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

aqme-10 results solving families - 2016