QELL_default results solving families

QELL_default results solving families - 2017

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

QELL_default results solving families - 2017