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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

xb-qsts_bqsts2.0 results solving families - 2017