xb-qsts_xbqsts1.0 results solving families

xb-qsts_xbqsts1.0 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1	1	19799.06
Adder	114			102600
amba	22	1	2	6486.26
arithmetic	22	4		4502.41
blackbox-01X-QBF	133		19	19037.74
BMC	98	1		84205.46
C432	21		1	13831.44
C499	31			27900
C5315	57			51300
C6288	76			68400
C880	60		1	46077.03
circuits	84	2		73975.3
conformant_planning	60		1	47100.72
Connect2	1			900
Connect3	2			1800
Connect4	43		1	37800.28
Connect5	2		2	224.5
Connect6	3		1	1800.23
Connect7	4			3600
Connect8	2		2	2.29
Counter	22	2		17672.75
cycle-sched	24	1		15783.56
Debug	125			112500
disjunctive_decomposition	23	3		7204.3
driver	18	2	2	22.81
dungeon	115	1	4	99126.12
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65			58500
evader-pursuer-6x6-logarithmic	50		2	32221.56
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51		1	44736.9
formula_add	39	2		33043.12
fpu	20		20	104.94
genbuf	22			19800
Generalized-Tic-Tac-Toe	32	1	6	873.21
genpatch	20	1		14411.08
HardwareFixpoint	125	2	7	70602.18
hwmcc	16		2	12562.82
hyperLTL	4	1	1	0.1
incrementer-encoder	55	1	7	40761.23
irqlkeapclte	121			108823.88
ISCAS89	7	2	2	135.4
ITC99	57	2	1	47813.17
jmc_quant	6			5400
jmc_quant_squaring	98	1	1	78159.42
k_branch_n	56	5		11073.43
k_branch_p	85		6	14762.23
k_ph_p	80		2	61716.8
LinearBitvectorRankingFunction	119	1		104291.32
ltl2aig-comp	19			17100
LTL2DBA	9	1	1	10.28
LTL2DPA	10	1	1	37.69
mqm	34	3		2711.64
mult-matrix	24	1		15350.96
Planning-CTE	131		5	114965.84
QBF-Hardness	60	1	9	864.08
qbfeval12	7	1		5400.07
RankingFunctions	2	2		1.07
Reduction-finding	45	1	2	22377.18
s1196	15		2	3354.21
s1269	17	1		9742.63
s298	14	1	1	3199.42
s3330	21	1		11463.1
s499	13	1		6612.26
s510	9			8100
s641	16	1	1	812.24
s713	15		2	2617.41
s820	15	1		7360.72
sketch	16			14400
Sorting_networks	81	1	2	40304.52
SzymanskiP	25			22500
terminator	78			70200
tipdiam	85			76500
tipfixpoint	93	1		73853.68
toy	14	2	2	43.7
trafficlight-controller	10		10	162.39
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

xb-qsts_xbqsts1.0 results solving families - 2017