CUED1919_NL results solving families

CUED1919_NL results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			462.99
Adder	114			3707.56
amba	22			9429.67
arithmetic	22	1		18000.18
blackbox-01X-QBF	133			55264
BMC	98			77631.75
C432	21			0.42
C499	31			1.64
C5315	57			132.65
C6288	76			49.75
C880	60			2.5
circuits	84			27349.52
conformant_planning	60			23722.5
Connect2	1			482.09
Connect3	2			927.32
Connect4	43			17982.48
Connect5	2			479.04
Connect6	3			939.22
Connect7	4			1655.5
Connect8	2			860.28
Counter	22			3881.01
cycle-sched	24			10381.47
Debug	125			57673.84
disjunctive_decomposition	23		1	14864.8
driver	18			9163.15
dungeon	115			89358.17
evader-pursuer-4x4-logarithmic	10			3524.8
evader-pursuer-4x4-standard	65			27643.26
evader-pursuer-6x6-logarithmic	50			24211.26
evader-pursuer-6x6-standard	77			67196.64
evader-pursuer-8x8-logarithmic	51			30786.58
formula_add	39			4999.92
fpu	20			16765.62
genbuf	22			3202.14
Generalized-Tic-Tac-Toe	32			7808.64
genpatch	20			10811.72
HardwareFixpoint	125	1		84316.31
hwmcc	16			8973.76
hyperLTL	4	1		0.08
incrementer-encoder	55			2044.77
irqlkeapclte	121			52481.86
ISCAS89	7			49.59
ITC99	57			17753.6
jmc_quant	6			257.58
jmc_quant_squaring	98			983.1
k_branch_n	56			16754.47
k_branch_p	85			29088.64
k_ph_p	80			42799.67
LinearBitvectorRankingFunction	119			39410.45
ltl2aig-comp	19			7974.29
LTL2DBA	9			6303.86
LTL2DPA	10			6341.43
mqm	34			30.4
mult-matrix	24			12237.83
Planning-CTE	131			49116.64
QBF-Hardness	60			19128.88
qbfeval12	7			288.57
RankingFunctions	2			1800
Reduction-finding	45	1	1	17998.85
s1196	15			862.15
s1269	17			2713.04
s298	14			830.13
s3330	21			8169.83
s499	13			1781.48
s510	9			4850.05
s641	16			218.64
s713	15			548.61
s820	15			4658.53
sketch	16			14400
Sorting_networks	81		2	10948.09
SzymanskiP	25			10548.38
terminator	78			70200
tipdiam	85			9035.87
tipfixpoint	93			11247.4
toy	14			9073.18
trafficlight-controller	10			194.25
uclid	30			170.82

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

CUED1919_NL results solving families - 2017