Heretiq-simple results solving families - 2018

Family# Total# Sat# UnsatTime
Adder114285326.42
amba15115104.26
arithmetic2034500
blackbox-01X-QBF1331340805.91
BMC79735971.79
CombinationalEquivalence1411061503.04
cycle-sched24215547.31
Debug76267532.84
disjunctive_decomposition2034500.3
driver1421.26
dungeon110287874.91
formula_add27218619.36
fpu221029.87
genbuf1917101.43
Generalized-Tic-Tac-Toe39368385.72
genpatch201112384
HardwareFixpoint1001276555.88
hwmcc1210800.55
incrementer-encoder5619100.95
irqlkeapclte121108906.46
ISCAS89226415.06
ITC99581343783.46
jmc_quant_squaring72153656.64
k_branch_n56322264.22
k_branch_p85614475.09
k_ph_p4237801.61
LinearBitvectorRankingFunction771345626.34
ltl2aig-comp132210.33
LTL2DBA710
LTL2DPA717.91
Model_instances47415428.68
mqm764341895.19
mult-matrix24114722.71
Planning-CTE12822428054.07
PositionalGames_gttt454224540.09
PositionalGames_hex485324431.56
QBF-Hardness60437060.3
Q_2_3981527217.99
RankingFunctions53150.12
Reduction-finding601242908.42
Selection-hard30125778.64
sketch4742301.7
Sorting_networks1132716052.48
SzymanskiP2521104.18
terminator85910043.81
tipdiam8576503.53
tipfixpoint9081003.19
toy811522
trafficlight-controller301040.74
wgrowing36226198.36
wmiforward701039.06