squeezebf+struqs results solving families

squeezebf+struqs results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	1		41200.05
Adder	115		2	60573.65
blackbox-01X-QBF	77	1	2	32169.73
blackbox_design	76			45577.96
Blocks	88	1		49474.48
BMC	91			54575.81
bomb	51	2		25789.89
C432	65	2		29520.95
C499	76	2		36589.04
C5315	86	1		46396.39
C6288	86	1		45602.46
C880	78	2		36053.38
Chain	82	10		3.34
circuits	75	1		41381.97
conformant_planning	79	2	1	34343.61
Connect4	68	4	2	20382.21
Counter	54	3		22789.57
Debug	103			61770.21
DFlipFlop	73	1	9	898.07
dungeon	73			43782.03
evader-pursuer-4x4-logarithmic	61	3		24750.32
evader-pursuer-4x4-standard	65	1		36577.7
evader-pursuer-6x6-logarithmic	74		1	42072.46
evader-pursuer-6x6-standard	77			46184.47
evader-pursuer-8x8-logarithmic	78		1	44384.06
FPGA_PLB_FIT_FAST	38	1	1	14443.84
FPGA_PLB_FIT_SLOW	25			14992.75
fpu	47	10		658.8
Generalized-Tic-Tac-Toe	54	1	4	18874.72
HardwareFixpoint	81	1	2	38965.54
Impl	74	10		0.24
incrementer-encoder	67	1		37183.72
irqlkeapclte	121			72564.91
ISCAS89	32	6		2818.33
ITC99	56	2	1	23962
jmc_quant_squaring	118	2	1	52906.88
k_branch_n	88	3		41421.59
k_branch_p	103			61770.94
k_d4_n	73	3		33742.34
k_d4_p	72		6	25144.05
k_dum_n	66	10		77.43
k_dum_p	74		10	359.67
k_grz_n	68	7		15037.63
k_grz_p	70		5	25963.14
k_lin_n	64			38383.44
k_lin_p	65		8	11120.71
k_path_n	67	5		22513.55
k_path_p	67		3	28937.64
k_ph_n	74	8		11946.62
k_ph_p	85		3	40182.71
k_poly_n	68	10		388.28
k_poly_p	64		10	149.62
k_t4p_n	71	2		34002.21
k_t4p_p	76		10	2474.96
LinearBitvectorRankingFunction	86			51575.13
Logn	29	2		11395.39
mqm	84		2	42315.49
MutexP	78	7		53.64
Planning-CTE	55			32987.15
QBF-Hardness	63		8	17340.39
qbfeval12	27	1	2	10676.77
Qshifter	62	6		2904.07
RankingFunctions	61	10		198.81
Reduction-finding	65	1	2	31117.81
Rewriting	45		5	15482.79
s1196	44	1		21912.48
s1269	76			45586.16
s27	36	1	3	2.59
s298	70	2		32859.91
s3330	76			45588.75
s386	69	2		34843.11
s499	62			37188.29
s510	59	1		32214.09
s641	55	3		26155.26
s713	73	2		35492.9
s820	72	1		40883.68
Sorting_networks	110		1	63583.26
SzymanskiP	99		5	36324.89
term1	69	4	3	11332.91
terminator	86		5	32053.7
tipdiam	86	5		31914.58
tipfixpoint	81	5		29456.26
ToiletA	48	3	7	90.08
ToiletC	48	1	8	3026.14
ToiletG	43	7		0.07
trafficlight-controller	45		5	13410.22
Tree	74	2	8	0.07
uclid	30			17991.3
VonNeumann	75	10		467.16
wmiforward	74	4		28391.71
z4ml	61	4	4	0.61

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

squeezebf+struqs results solving families - 2016