Qute_opt500 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114			1901.32
amba	25			2499.62
arithmetic	36	4		47.77
blackbox-01X-QBF	133		6	1774.01
BMC	79	2	3	20994.97
CombinationalEquivalence	141			239.76
cycle-sched	44			3116.25
Debug	76	4		31511.6
disjunctive_decomposition	40	2		126.79
driver	34	4		49.99
dungeon	110		21	3064.61
formula_add	27	1		4061.22
fpu	22		10	81.12
genbuf	19			2210.95
Generalized-Tic-Tac-Toe	39			11438.21
genpatch	20			4163.04
HardwareFixpoint	288	15	8	29424.88
hwmcc	26			6646.48
incrementer-encoder	56		7	547.89
irqlkeapclte	121			1293.15
ISCAS89	22	6	4	28.86
ITC99	58	3	2	1613.51
jmc_quant_squaring	72			0
k_branch_n	56	4		8976.74
k_branch_p	85		8	10288.04
k_ph_p	42			1882.37
LinearBitvectorRankingFunction	77			2272.11
ltl2aig-comp	18		1	2659.68
LTL2DBA	12			6.25
LTL2DPA	7			11.62
Model_instances	47			31.68
mqm	76			722.47
mult-matrix	39			2261.54
Planning-CTE	128	2	24	15024.06
PositionalGames_gttt	45	4		142.92
PositionalGames_hex	48	1		67.17
QBF-Hardness	60			3475.42
Q_2_3	98		1	1.45
RankingFunctions	53	15		0
Reduction-finding	123			1792.46
Selection-hard	30	1		32.52
sketch	47			188.27
Sorting_networks	113			6884.34
SzymanskiP	25			2884.13
terminator	85			115.94
tipdiam	85	3		749.72
tipfixpoint	90			1030.56
toy	30	3		69.15
trafficlight-controller	30		9	99.27
wgrowing	36	1		40.64
wmiforward	70	1		75.22

QBF Solver Evaluation Portal