CUED1919_NNL results solving families

CUED1919_NNL results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			69.43
Adder	114			589.92
amba	22			10960.56
arithmetic	22	1		18000.06
blackbox-01X-QBF	133			80801.16
BMC	98			88200
C432	21			0.3
C499	31			1.24
C5315	57			54.79
C6288	76			45.14
C880	60			2.09
circuits	84			32840.29
conformant_planning	60			47022.08
Connect2	1			598.73
Connect3	2			1184.94
Connect4	43			25304.56
Connect5	2			910.46
Connect6	3			1559.29
Connect7	4			1835.16
Connect8	2			1357.63
Counter	22			5405.6
cycle-sched	24			18047.96
Debug	125			58409.95
disjunctive_decomposition	23		1	16304.2
driver	18			12610.24
dungeon	115			89341.5
evader-pursuer-4x4-logarithmic	10			447.3
evader-pursuer-4x4-standard	65			46976.56
evader-pursuer-6x6-logarithmic	50			39736.89
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39			5625.66
fpu	20			16742.46
genbuf	22			7290.4
Generalized-Tic-Tac-Toe	32			5614.52
genpatch	20			10811.8
HardwareFixpoint	125	1		105880.26
hwmcc	16			13685.1
hyperLTL	4	1		0.06
incrementer-encoder	55			2035.59
irqlkeapclte	121			108900
ISCAS89	7			45.94
ITC99	57			18913.26
jmc_quant	6			40.14
jmc_quant_squaring	98			154.34
k_branch_n	56			20550.64
k_branch_p	85			32553.02
k_ph_p	80			68074.14
LinearBitvectorRankingFunction	119			38761.36
ltl2aig-comp	19			8338.36
LTL2DBA	9			6301.16
LTL2DPA	10			6309.9
mqm	34			5.96
mult-matrix	24			12335.18
Planning-CTE	131			60963.01
QBF-Hardness	60			33456.34
qbfeval12	7			57
RankingFunctions	2			1800
Reduction-finding	45	1	1	22158.28
s1196	15			206.66
s1269	17			965.09
s298	14			177.24
s3330	21			9538.17
s499	13			531.35
s510	9			2182.08
s641	16			49.12
s713	15			139.08
s820	15			1806.85
sketch	16			14400
Sorting_networks	81		1	12554.38
SzymanskiP	25			22500
terminator	78			70200
tipdiam	85			2996.85
tipfixpoint	93			3944.79
toy	14			9012.38
trafficlight-controller	10			190.06
uclid	30			29.88

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

CUED1919_NNL results solving families - 2017