qesto results solving families

qesto results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26		1	23344.53
Adder	114			102600
amba	22	1	1	9882.95
arithmetic	22	4		4500.22
blackbox-01X-QBF	133		1	115411.1
BMC	98		2	73204.76
C432	21			18900
C499	31			27900
C5315	57			51300
C6288	76	1		60677.73
C880	60			54000
circuits	84			75600
conformant_planning	60			54000
Connect2	1			900
Connect3	2			1800
Connect4	43		1	32858.94
Connect5	2		1	900.63
Connect6	3		1	1800.05
Connect7	4			3600
Connect8	2		2	0.49
Counter	22	1		18900.12
cycle-sched	24	2		10332.24
Debug	125			112500
disjunctive_decomposition	23	3	1	4093.45
driver	18	2	2	1.91
dungeon	115	1	2	100948.13
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65			58500
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	2		32649.06
fpu	20		20	23.46
genbuf	22			19800
Generalized-Tic-Tac-Toe	32		5	12369.99
genpatch	20	1		14401.8
HardwareFixpoint	125	2	3	97214.6
hwmcc	16		2	10824.02
hyperLTL	4	1	1	0
incrementer-encoder	55	1	3	44894.03
irqlkeapclte	121			108900
ISCAS89	7	2	2	16.58
ITC99	57	1	1	49509
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56	3		22621.41
k_branch_p	85		5	24413.64
k_ph_p	80			72000
LinearBitvectorRankingFunction	119	1		107039.28
ltl2aig-comp	19			17100
LTL2DBA	9	1	1	1.53
LTL2DPA	10	1	1	9.76
mqm	34	1		29224.12
mult-matrix	24	1		15301.75
Planning-CTE	131		2	116066.77
QBF-Hardness	60	1	4	28723
qbfeval12	7	1		5400.01
RankingFunctions	2	2		0.13
Reduction-finding	45	1	1	29210.07
s1196	15		2	2202.76
s1269	17	1		13769.17
s298	14	1	1	3916.99
s3330	21	1		12624.3
s499	13	1		6474.43
s510	9			8100
s641	16	1	1	614.32
s713	15		2	2196.27
s820	15	1	1	8629.44
sketch	16			14400
Sorting_networks	81		1	64247.64
SzymanskiP	25		2	1106.79
terminator	78		5	34444.56
tipdiam	85			76500
tipfixpoint	93			83700
toy	14	1	2	7200.46
trafficlight-controller	10		8	1946.82
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

qesto results solving families - 2017