xb-qsts_bqsts2.0 results solving families

xb-qsts_bqsts2.0 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1	1	19612.84
Adder	114	0	0	102600
amba	22	1	1	8481.43
arithmetic	22	4	0	4502.36
blackbox-01X-QBF	133	0	19	16657.98
BMC	98	1	0	83608.71
C432	21	0	1	13796.76
C499	31	0	0	27900
C5315	57	0	0	51300
C6288	76	0	0	68400
C880	60	0	1	50484.29
circuits	84	1	0	74821.6
conformant_planning	60	0	1	47097.68
Connect2	1	0	0	900
Connect3	2	0	0	1800
Connect4	43	0	1	37800.27
Connect5	2	0	2	130.53
Connect6	3	0	1	1800.22
Connect7	4	0	0	3600
Connect8	2	0	2	2.17
Counter	22	2	0	17666.6
cycle-sched	24	1	0	15720.91
Debug	125	0	0	112500
disjunctive_decomposition	23	3	0	7204.2
driver	18	2	2	22.89
dungeon	115	1	3	100353.36
evader-pursuer-4x4-logarithmic	10	0	0	9000
evader-pursuer-4x4-standard	65	0	0	58500
evader-pursuer-6x6-logarithmic	50	0	2	32084.89
evader-pursuer-6x6-standard	77	0	0	69300
evader-pursuer-8x8-logarithmic	51	0	1	44737.6
formula_add	39	2	0	33052.87
fpu	20	0	20	105.53
genbuf	22	0	0	19800
Generalized-Tic-Tac-Toe	32	1	6	2317.86
genpatch	20	1	0	14411.16
HardwareFixpoint	125	2	7	70603.68
hwmcc	16	0	2	12529.12
hyperLTL	4	1	1	0.1
incrementer-encoder	55	1	7	40722.18
irqlkeapclte	121	0	0	108900
ISCAS89	7	2	2	98.71
ITC99	57	1	1	49553.67
jmc_quant	6	0	0	5400
jmc_quant_squaring	98	1	1	78099.6
k_branch_n	56	5	0	11064.66
k_branch_p	85	0	6	14759.51
k_ph_p	80	0	2	61611.6
LinearBitvectorRankingFunction	119	1	0	104313.04
ltl2aig-comp	19	0	0	17100
LTL2DBA	9	1	1	10.73
LTL2DPA	10	1	1	35.58
mqm	34	3	0	2391.22
mult-matrix	24	1	0	15352.08
Planning-CTE	131	0	5	114812.57
QBF-Hardness	60	1	9	820.5
qbfeval12	7	1	0	5400.07
RankingFunctions	2	2	0	1.07
Reduction-finding	45	1	2	22276.86
s1196	15	0	2	2327.35
s1269	17	1	0	9447.58
s298	14	1	1	2094.19
s3330	21	1	0	10642.6
s499	13	1	0	5996.75
s510	9	0	0	8100
s641	16	1	1	150.32
s713	15	0	2	1739.82
s820	15	1	0	6710.08
sketch	16	0	1	10947.04
Sorting_networks	81	1	2	39153.36
SzymanskiP	25	0	0	22500
terminator	78	0	0	70200
tipdiam	85	0	0	76500
tipfixpoint	93	1	0	73851.26
toy	14	2	2	43.62
trafficlight-controller	10	0	10	154.57
uclid	30	0	0	27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

xb-qsts_bqsts2.0 results solving families - 2017