Heretiq-cube results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114		2	85132.77
amba	15	1		6393.96
arithmetic	20	3		2365.05
blackbox-01X-QBF	133		13	40810.21
BMC	79	7	3	10310.6
CombinationalEquivalence	141		10	61504.47
cycle-sched	24	1		17899.98
Debug	76	2		66742.92
disjunctive_decomposition	20	3		2602.95
driver	14	2		0
dungeon	110		2	87891.05
formula_add	27	2		18615.77
fpu	22		10	30.05
genbuf	19			17100.62
Generalized-Tic-Tac-Toe	39	3	6	8518.2
genpatch	20	1	1	10740.16
HardwareFixpoint	100	1	2	42646.61
hwmcc	12			6318.08
incrementer-encoder	56	1	9	103.07
irqlkeapclte	121			61813.27
ISCAS89	22	6	4	14.88
ITC99	58	2	3	41479.39
jmc_quant_squaring	72	1		53666.53
k_branch_n	56	3		22105.24
k_branch_p	85		6	14475.11
k_ph_p	42			37802.84
LinearBitvectorRankingFunction	77	1	3	45624.54
ltl2aig-comp	13		2	209.57
LTL2DBA	7	1		0
LTL2DPA	7	1		8.05
Model_instances	47		3	20224.05
mqm	76	4	3	40546.14
mult-matrix	24	1		15300.85
Planning-CTE	128	2	24	27266.83
PositionalGames_gttt	45	4	2	24557.34
PositionalGames_hex	48	5	3	24208.81
QBF-Hardness	60		4	37077.06
Q_2_3	98		14	30054.13
RankingFunctions	53	15		0
Reduction-finding	60		2	40090.21
Selection-hard	30			27001.5
sketch	47			27693.54
Sorting_networks	113	2	7	16141.84
SzymanskiP	25		2	1102.87
terminator	85		9	5921.52
tipdiam	85			65294.58
tipfixpoint	90			81003.38
toy	8	1		1528.4
trafficlight-controller	30		10	40.14
wgrowing	36	1		28927.24
wmiforward	70	10		39.06

QBF Solver Evaluation Portal