caqe_2017_v1 results solving families

caqe_2017_v1 results solving families - 2017

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe_2017_v1 results solving families - 2017