qbfrelay results solving families

qbfrelay results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			19261.23
Adder	114		1	49123.79
amba	22			10858.27
arithmetic	22	4		43.08
blackbox-01X-QBF	133		13	56144.81
BMC	98	1	2	67414.7
C432	21			18584.46
C499	31			25316.32
C5315	57		1	19357.04
C6288	76	1		22630.16
C880	60			44244.86
circuits	84	3		56135.38
conformant_planning	60		1	48130
Connect2	1			891.46
Connect3	2			1782.96
Connect4	43		1	37087.23
Connect5	2		1	890.75
Connect6	3		1	1783.81
Connect7	4			3567.48
Connect8	2		2	4.58
Counter	22	2		14174.5
cycle-sched	24	1		13160.14
Debug	125	1		103760.88
disjunctive_decomposition	23	3		1393.69
driver	18	2	2	26.32
dungeon	115	1	25	9716.36
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65	7		5423.6
evader-pursuer-6x6-logarithmic	50			44894.36
evader-pursuer-6x6-standard	77			67690.7
evader-pursuer-8x8-logarithmic	51			45650.32
formula_add	39	2		29358.85
fpu	20		20	265.28
genbuf	22			14048.41
Generalized-Tic-Tac-Toe	32		1	27702.91
genpatch	20	1		8329.84
HardwareFixpoint	125	2	12	41506.55
hwmcc	16	2	2	1186.56
hyperLTL	4	1	1	0.5
incrementer-encoder	55	2	11	4468.26
irqlkeapclte	121	10		2253.79
ISCAS89	7	2	2	360.96
ITC99	57	5	1	6072.62
jmc_quant	6			596.76
jmc_quant_squaring	98			43162.73
k_branch_n	56	5		10945.74
k_branch_p	85		7	9385.82
k_ph_p	80			58749.97
LinearBitvectorRankingFunction	119		1	29608.25
ltl2aig-comp	19		1	10780.3
LTL2DBA	9	1	1	11.94
LTL2DPA	10	1	1	38.75
mqm	34			30361.85
mult-matrix	24	2		3154.52
Planning-CTE	131	1	18	56721.02
QBF-Hardness	60			50548.96
qbfeval12	7	1		4501.47
RankingFunctions	2	2		1.41
Reduction-finding	45		1	8802.14
s1196	15			13264.3
s1269	17			15138.88
s298	14			12490.17
s3330	21			18652.17
s499	13			11546.22
s510	9			7988.4
s641	16			10862.4
s713	15			12589.5
s820	15			13275.49
sketch	16			917.06
Sorting_networks	81	1		56985.04
SzymanskiP	25		1	12630.65
terminator	78	1	4	2471.83
tipdiam	85	4		10394.57
tipfixpoint	93	3		9348.05
toy	14	2	2	48.36
trafficlight-controller	10		10	159.62
uclid	30			6190.13

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

qbfrelay results solving families - 2017