caqe_2017_v3 results solving families

caqe_2017_v3 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			23400
Adder	114	3		71154.63
amba	22	1	2	4111.29
arithmetic	22	3		9000.74
blackbox-01X-QBF	133		8	70447.35
BMC	98	2	2	55739.91
C432	21		2	14.88
C499	31		2	21611.52
C5315	57		1	40503.84
C6288	76	1		60313.23
C880	60		2	35282.66
circuits	84	3		65829.7
conformant_planning	60		1	47096.88
Connect2	1	1		9.65
Connect3	2			1800
Connect4	43		1	37800.08
Connect5	2		2	282.16
Connect6	3		1	1800.08
Connect7	4			3600
Connect8	2		2	0.74
Counter	22	2		14590.42
cycle-sched	24		1	17167.14
Debug	125	1		112441.2
disjunctive_decomposition	23		1	16207.85
driver	18	1	2	6301.48
dungeon	115	1	25	2743.2
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65	1		51510.48
evader-pursuer-6x6-logarithmic	50		1	37973.75
evader-pursuer-6x6-standard	77		1	57545.41
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	6		22068.71
fpu	20		20	45.82
genbuf	22		2	7536.96
Generalized-Tic-Tac-Toe	32	1	6	2327.49
genpatch	20			18000
HardwareFixpoint	125	2	11	49992.69
hwmcc	16	1	2	5606.48
hyperLTL	4	1	1	0.04
incrementer-encoder	55	2	11	300.15
irqlkeapclte	121			108900
ISCAS89	7	2	2	14.77
ITC99	57	3	1	36959.24
jmc_quant	6			5400
jmc_quant_squaring	98	1		80073.18
k_branch_n	56	4		19322.49
k_branch_p	85		8	967.74
k_ph_p	80		1	69314.7
LinearBitvectorRankingFunction	119	4	3	68659.85
ltl2aig-comp	19		2	10165.24
LTL2DBA	9	1	1	15.59
LTL2DPA	10		1	6301.02
mqm	34	3		15916.43
mult-matrix	24	2		9485.03
Planning-CTE	131	1	14	73586.16
QBF-Hardness	60	1	7	15035.36
qbfeval12	7	2		1436.82
RankingFunctions	2	2		2.9
Reduction-finding	45	2	2	21161.76
s1196	15		1	11467.6
s1269	17	1		9486.64
s298	14	1	1	1271.62
s3330	21	1		11452.4
s499	13	1	1	2109.19
s510	9			8100
s641	16	1	1	1085.2
s713	15		2	4124.49
s820	15	1	1	2502.57
sketch	16		2	10899.08
Sorting_networks	81	2	4	8260.53
SzymanskiP	25		2	2743
terminator	78	1	8	458.05
tipdiam	85	4		47729.38
tipfixpoint	93	9		18286.09
toy	14	1	2	7200.96
trafficlight-controller	10		10	67.12
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe_2017_v3 results solving families - 2017