squeezebf+struqs results solving families

squeezebf+struqs results solving families - 2016

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

squeezebf+struqs results solving families - 2016