rareqs results solving families

rareqs results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1		20481.92
Adder	114	1	2	79451.04
amba	22	1	2	3954.03
arithmetic	22	4		4500.2
blackbox-01X-QBF	133		20	228.92
BMC	98	4	2	37291.59
C432	21		2	27.48
C499	31			27900
C5315	57		1	40563.84
C6288	76	1		60339.78
C880	60		1	45026.31
circuits	84	2		64922.31
conformant_planning	60	1	4	22314.86
Connect2	1	1		56.8
Connect3	2			1800
Connect4	43		1	37800.05
Connect5	2		1	900.63
Connect6	3		1	1800.05
Connect7	4			3600
Connect8	2		2	0.48
Counter	22	2		14414.92
cycle-sched	24	2	1	5989.91
Debug	125	4		96526.7
disjunctive_decomposition	23	3	1	2992.55
driver	18	2	2	1.91
dungeon	115	1	6	93330.32
evader-pursuer-4x4-logarithmic	10	1		8.4
evader-pursuer-4x4-standard	65	1		51309.68
evader-pursuer-6x6-logarithmic	50		1	40848.6
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	8		15723.49
fpu	20		20	23.4
genbuf	22		2	7872.9
Generalized-Tic-Tac-Toe	32		4	15562.43
genpatch	20	1		14401.8
HardwareFixpoint	125	2	4	89274.36
hwmcc	16		2	10824.08
hyperLTL	4	1	1	0
incrementer-encoder	55	2	11	112.31
irqlkeapclte	121			108900
ISCAS89	7	2	2	9.26
ITC99	57	2	1	45924.22
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56	2		37270.1
k_branch_p	85		5	22871.58
k_ph_p	80			72000
LinearBitvectorRankingFunction	119	1	3	83545.51
ltl2aig-comp	19		2	5595.41
LTL2DBA	9	1	1	1.53
LTL2DPA	10	1	1	9.76
mqm	34			30600
mult-matrix	24	1		15301.75
Planning-CTE	131	2	27	34101.18
QBF-Hardness	60		4	39357.84
qbfeval12	7	1		5400.02
RankingFunctions	2	2		0.12
Reduction-finding	45	2	3	10751.66
s1196	15		2	7707.13
s1269	17	1		9283.43
s298	14	1	1	1313.06
s3330	21	1		10558.3
s499	13	1	1	3748.55
s510	9			8100
s641	16	1	1	360.96
s713	15		2	3048.12
s820	15	1	1	3077.34
sketch	16		1	12065.88
Sorting_networks	81	2	4	3544.45
SzymanskiP	25		2	1096.05
terminator	78		2	50620.03
tipdiam	85			76500
tipfixpoint	93			83700
toy	14	2	2	3.08
trafficlight-controller	10		10	13.01
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

rareqs results solving families - 2017