squeezebf+aqme results solving families

squeezebf+aqme results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6101.65
Adder	115	1	2	55397.5
blackbox-01X-QBF	77		5	18556.16
blackbox_design	76			45600
Blocks	88	3	7	223.94
BMC	91	3	3	28331.37
bomb	51	3		22812.72
C432	73	3	5	3467.86
C499	76	3	2	18835.22
C5315	86	2	2	27127.43
C6288	86	2		40279.22
C880	78	1		42007.44
Chain	82	5		29784.87
circuits	75	2		37102.72
conformant_planning	79	4	4	12887
Connect4	68		2	19267.47
Counter	54	9		5126.91
Debug	103			61780.17
DFlipFlop	73		9	172.76
dungeon	73		6	15448.15
evader-pursuer-4x4-logarithmic	61	5		16315.96
evader-pursuer-4x4-standard	65	2		33142.78
evader-pursuer-6x6-logarithmic	74		3	35056.12
evader-pursuer-6x6-standard	77		2	38288.16
evader-pursuer-8x8-logarithmic	78		3	30737.48
FPGA_PLB_FIT_FAST	38	4	1	29.32
FPGA_PLB_FIT_SLOW	25	1	2	32.61
fpu	47			663.09
Generalized-Tic-Tac-Toe	54	1	7	11456.39
HardwareFixpoint	81			48600
Impl	74	10		37.77
incrementer-encoder	67		5	24660.29
irqlkeapclte	121			72600
ISCAS89	32	6		2586
ITC99	56	2	1	22297.97
jmc_quant_squaring	118			70800
k_branch_n	88	3		40289.88
k_branch_p	103		8	15628.71
k_d4_n	73	7		20907.51
k_d4_p	72		10	353.25
k_dum_n	66	10		38.39
k_dum_p	74		10	45.58
k_grz_n	68	10		255.64
k_grz_p	70		10	289.98
k_lin_n	64	10		1330.21
k_lin_p	65		10	131.49
k_path_n	67	10		39.63
k_path_p	67		10	40.55
k_ph_n	74	5		18632.99
k_ph_p	85		3	40212
k_poly_n	68	10		40.83
k_poly_p	64		10	37.72
k_t4p_n	71	10		2614.83
k_t4p_p	76		10	3298.93
LinearBitvectorRankingFunction	86			51600
Logn	29		2	60.71
mqm	84	5	4	11350.23
MutexP	78	7		67.94
Planning-CTE	55	2	3	15251.75
QBF-Hardness	63		6	22764.69
qbfeval12	27	1	4	3016.73
Qshifter	62	6		3119.45
RankingFunctions	61	6		17302.98
Reduction-finding	65	1	4	26722.5
Rewriting	45		10	33.73
s1196	44			26400
s1269	76			45600
s27	36	1	3	35.4
s298	70	2		32101.53
s3330	76			45600
s386	69	1		36622.88
s499	62			37200
s510	59			35400
s641	55	1		28997.26
s713	73	1		38616.7
s820	72	1		39572.4
Sorting_networks	110	4	3	25904.81
SzymanskiP	99		10	1532.2
term1	69	2	2	21622.96
terminator	86		6	22659.56
tipdiam	86	5		31283.04
tipfixpoint	81	1	1	33401.92
ToiletA	48	3	7	44.52
ToiletC	48	1	9	310.87
ToiletG	43	7		23.46
trafficlight-controller	45		10	238.08
Tree	74	2	8	40.36
uclid	30			18000
VonNeumann	75			475.3
wmiforward	74	5		23450.2
z4ml	61	4	4	36.7

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

squeezebf+aqme results solving families - 2016