caqe_2017_v1 results solving families

caqe_2017_v1 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1	0	19821.84
Adder	114	2	0	82210.38
amba	22	1	2	4486.22
arithmetic	22	4	0	4500.2
blackbox-01X-QBF	133	0	8	70439.93
BMC	98	4	2	37754.69
C432	21	0	2	21
C499	31	0	1	27412.48
C5315	57	0	1	40526.16
C6288	76	1	0	60382.71
C880	60	0	2	38182.25
circuits	84	2	0	68637.15
conformant_planning	60	1	5	20689.1
Connect2	1	1	0	9.56
Connect3	2	0	0	1800
Connect4	43	0	1	37800.05
Connect5	2	0	2	281.26
Connect6	3	0	1	1800.05
Connect7	4	0	0	3600
Connect8	2	0	2	0.5
Counter	22	2	0	14588.92
cycle-sched	24	2	1	9235.97
Debug	125	1	0	110939.28
disjunctive_decomposition	23	3	1	6656.35
driver	18	2	2	1.84
dungeon	115	1	6	87767.68
evader-pursuer-4x4-logarithmic	10	0	0	9000
evader-pursuer-4x4-standard	65	0	0	58500
evader-pursuer-6x6-logarithmic	50	0	1	37964.84
evader-pursuer-6x6-standard	77	0	0	62454.31
evader-pursuer-8x8-logarithmic	51	0	0	45900
formula_add	39	7	0	17005.13
fpu	20	0	20	23.61
genbuf	22	0	2	8081.18
Generalized-Tic-Tac-Toe	32	1	6	2295.42
genpatch	20	1	0	14401.8
HardwareFixpoint	125	2	3	97214.1
hwmcc	16	0	2	10824.2
hyperLTL	4	1	1	0
incrementer-encoder	55	2	11	119.6
irqlkeapclte	121	0	0	108900
ISCAS89	7	2	2	10.54
ITC99	57	1	1	49505.04
jmc_quant	6	0	0	5400
jmc_quant_squaring	98	1	0	80200.97
k_branch_n	56	4	0	19259.25
k_branch_p	85	0	8	952.15
k_ph_p	80	0	0	72000
LinearBitvectorRankingFunction	119	0	3	86419.7
ltl2aig-comp	19	0	2	5731.87
LTL2DBA	9	1	1	1.64
LTL2DPA	10	1	1	9.79
mqm	34	3	0	15938.36
mult-matrix	24	2	0	9024.43
Planning-CTE	131	1	14	78485.12
QBF-Hardness	60	1	7	15001.3
qbfeval12	7	2	0	1145.21
RankingFunctions	2	2	0	0.12
Reduction-finding	45	2	3	15076.41
s1196	15	0	2	11234.74
s1269	17	1	0	9192.01
s298	14	1	1	1641.5
s3330	21	1	0	10875.6
s499	13	1	1	2676.51
s510	9	0	0	8100
s641	16	1	1	593.76
s713	15	0	2	4002.81
s820	15	1	1	3151.15
sketch	16	0	0	14400
Sorting_networks	81	2	4	6570.53
SzymanskiP	25	0	2	1093.27
terminator	78	0	2	59812.58
tipdiam	85	0	0	76500
tipfixpoint	93	0	0	83700
toy	14	2	2	3.88
trafficlight-controller	10	0	10	39.13
uclid	30	0	0	27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe_2017_v1 results solving families - 2017