Qute_default results solving families

Qute_default results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1		20158.2
Adder	114		2	87895.78
amba	22		1	18407.24
arithmetic	22	3		9000.81
blackbox-01X-QBF	133		18	13348.56
BMC	98	3	2	52851.77
C432	21			18900
C499	31		1	26486.19
C5315	57	1	1	31648.74
C6288	76	1		60313.14
C880	60		1	45525.93
circuits	84	1		68398.91
conformant_planning	60		3	40698.04
Connect2	1	1		466.64
Connect3	2			1800
Connect4	43		1	37751
Connect5	2		1	900.58
Connect6	3		1	1800.08
Connect7	4			3600
Connect8	2		2	0.46
Counter	22	1		15318.9
cycle-sched	24			21600
Debug	125	5		86663.07
disjunctive_decomposition	23	1		16200.8
driver	18	2	2	29.37
dungeon	115	1	25	2756.49
evader-pursuer-4x4-logarithmic	10	1		697.8
evader-pursuer-4x4-standard	65	7		861.88
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69042.18
evader-pursuer-8x8-logarithmic	51			45829.71
formula_add	39	3		31708.37
fpu	20		20	45.34
genbuf	22			19800
Generalized-Tic-Tac-Toe	32		2	27126.59
genpatch	20			18000
HardwareFixpoint	125	2	11	45780.3
hwmcc	16	1	2	6178.38
hyperLTL	4	1	1	0.04
incrementer-encoder	55	1	9	27192.32
irqlkeapclte	121			108900
ISCAS89	7	2	2	19.4
ITC99	57	3	1	36960
jmc_quant	6			5400
jmc_quant_squaring	98		1	78302.31
k_branch_n	56	5		11682.9
k_branch_p	85		8	10204.49
k_ph_p	80			72000
LinearBitvectorRankingFunction	119			107093.04
ltl2aig-comp	19		1	10824.2
LTL2DBA	9	1	1	1252.35
LTL2DPA	10		1	6300.99
mqm	34			30600
mult-matrix	24			21600
Planning-CTE	131	2	27	14307.62
QBF-Hardness	60		4	43116.6
qbfeval12	7	1		5400.25
RankingFunctions	2	2		2.83
Reduction-finding	45		1	37588
s1196	15			13500
s1269	17			15266.1
s298	14	1	1	4210.43
s3330	21	1		11274.01
s499	13	1	1	1243.19
s510	9			8069.97
s641	16	1		7450.08
s713	15		2	8391.99
s820	15	1		7144.34
sketch	16			14400
Sorting_networks	81	1		67993.78
SzymanskiP	25		2	2815.38
terminator	78	1	8	279.09
tipdiam	85	4		47734.01
tipfixpoint	93	1		73936.62
toy	14	2	2	9.1
trafficlight-controller	10		10	44.55
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Qute_default results solving families - 2017