QELL_default results solving families

QELL_default results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1		20317.24
Adder	114		2	86404.13
amba	22		1	16278.88
arithmetic	22	1		18000.02
blackbox-01X-QBF	133		3	107965.36
BMC	98	2		69194.2
C432	21		2	3.42
C499	31		2	10141.49
C5315	57		1	40516.68
C6288	76	1		60674.04
C880	60		4	19723.46
circuits	84	1		73580.16
conformant_planning	60	3	5	15519.06
Connect2	1			900
Connect3	2			1800
Connect4	43		1	37800.24
Connect5	2		1	904.6
Connect6	3		1	1800.35
Connect7	4			3600
Connect8	2		2	3.56
Counter	22	1		15421.8
cycle-sched	24			21600
Debug	125	1		107416.56
disjunctive_decomposition	23			20700
driver	18		1	14404
dungeon	115	1	5	96488.44
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65			58500
evader-pursuer-6x6-logarithmic	50		1	38322.56
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51		1	42106.4
formula_add	39	5		24348.37
fpu	20		20	80.11
genbuf	22			19800
Generalized-Tic-Tac-Toe	32		1	27981.33
genpatch	20	3	2	578.16
HardwareFixpoint	125	1	2	99904.84
hwmcc	16		2	10834.46
hyperLTL	4	1	1	0.06
incrementer-encoder	55	2	11	79.58
irqlkeapclte	121			108900
ISCAS89	7	1	1	4502.04
ITC99	57		1	50400.64
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56			50400
k_branch_p	85			76500
k_ph_p	80			72000
LinearBitvectorRankingFunction	119	2	2	79689.07
ltl2aig-comp	19		2	6003.85
LTL2DBA	9		1	6300.12
LTL2DPA	10		1	6301.05
mqm	34			30600
mult-matrix	24			21600
Planning-CTE	131	2	27	3061.44
QBF-Hardness	60		1	50400.44
qbfeval12	7			6300
RankingFunctions	2			1800
Reduction-finding	45	2	2	22504.86
s1196	15		2	8343.52
s1269	17	1		9271.53
s298	14	1	1	88.76
s3330	21	1		9964.8
s499	13	1	1	20.68
s510	9	2		148.08
s641	16	1	1	241.6
s713	15		2	1717.47
s820	15	1	1	24.29
sketch	16			14400
Sorting_networks	81	2	4	24242.7
SzymanskiP	25		1	17110.2
terminator	78		3	50500.96
tipdiam	85	4		49541.6
tipfixpoint	93	8		21626.47
toy	14	1	2	7347.86
trafficlight-controller	10		9	943.07
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

QELL_default results solving families - 2017