prefix-opt-depqbf results solving families

prefix-opt-depqbf results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1		21911.56
Adder	114			102600
amba	22			19800
arithmetic	22	3		9000.37
blackbox-01X-QBF	133		12	54408.14
BMC	98	1	2	65098.83
C432	21		2	205.02
C499	31		1	22876.11
C5315	57		1	40914.72
C6288	76			68400
C880	60		3	27919.87
circuits	84			75600
conformant_planning	60			54000
Connect2	1	1		14.61
Connect3	2			1800
Connect4	43		1	37800.29
Connect5	2		1	904.08
Connect6	3		1	1800.36
Connect7	4			3600
Connect8	2		2	3.08
Counter	22			19800
cycle-sched	24			21600
Debug	125			112500
disjunctive_decomposition	23	1		16200.05
driver	18		1	14401.06
dungeon	115	1	9	86975.31
evader-pursuer-4x4-logarithmic	10	1		4.8
evader-pursuer-4x4-standard	65	5		28545.52
evader-pursuer-6x6-logarithmic	50		2	30467.49
evader-pursuer-6x6-standard	77		2	56401.44
evader-pursuer-8x8-logarithmic	51		2	32108.6
formula_add	39	3		30339.46
fpu	20		20	167.97
genbuf	22			19800
Generalized-Tic-Tac-Toe	32	1	5	8431.79
genpatch	20		1	14458
HardwareFixpoint	125	1		111600
hwmcc	16		2	10821.34
hyperLTL	4	1	1	0.02
incrementer-encoder	55	2	7	30837.18
irqlkeapclte	121			108900
ISCAS89	7	2	2	3.74
ITC99	57	4	1	33737.22
jmc_quant	6			5400
jmc_quant_squaring	98	1		76784.44
k_branch_n	56			50400
k_branch_p	85		8	354.51
k_ph_p	80			72000
LinearBitvectorRankingFunction	119	1		103599.08
ltl2aig-comp	19			17100
LTL2DBA	9		1	6389.48
LTL2DPA	10			9000
mqm	34	3		1669.7
mult-matrix	24			21600
Planning-CTE	131		4	112797.32
QBF-Hardness	60		4	41963.32
qbfeval12	7	2		4708.49
RankingFunctions	2	2		0.08
Reduction-finding	45			40500
s1196	15			13500
s1269	17			15300
s298	14			12600
s3330	21			18900
s499	13			11700
s510	9			8100
s641	16			14400
s713	15			13500
s820	15			13500
sketch	16			14400
Sorting_networks	81	1		63111.98
SzymanskiP	25			22500
terminator	78		6	30480.74
tipdiam	85	1		72000.35
tipfixpoint	93	2		68532.42
toy	14		2	9000.58
trafficlight-controller	10		10	193.58
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

prefix-opt-depqbf results solving families - 2017