heretiq results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86266610.28
amba8113831.72
arithmetic54900.05
blackbox-01X-QBF781321491.13
BMC734233278.25
C43221249.98
C4993127900
C531551135122.92
C62886760300
C88060242889.75
circuits73262170.36
conformant_planning58524140.48
Connect21113.76
Connect31900
Connect436131500.06
Connect521900.64
Connect621900.06
Connect721800
Connect8220.5
Counter19211598.6
cycle-sched825270.76
Debug94282837.08
disjunctive_decomposition531800.17
driver8220.8
dungeon601642638.17
evader-pursuer-4x4-logarithmic10183.8
evader-pursuer-4x4-standard64425550.94
evader-pursuer-6x6-logarithmic44229617.2
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46235318
formula_add1247378.01
fpu202023.63
genbuf87200
Generalized-Tic-Tac-Toe20155565.08
genpatch5113047.87
HardwareFixpoint542344110.85
hwmcc823624.32
hyperLTL4110.02
incrementer-encoder35211203.31
irqlkeapclte8172900
ISCAS894223.38
ITC99372127456.9
jmc_quant43600
jmc_quant_squaring77160725.5
k_branch_n37313635.83
k_branch_p6169057.46
k_ph_p5852200
LinearBitvectorRankingFunction731353263.68
ltl2aig-comp823669.84
LTL2DBA4110.64
LTL2DPA4113.4
mqm25313050.44
mult-matrix815400.52
Planning-CTE532279263
QBF-Hardness30420240.56
qbfeval12722900.26
RankingFunctions220.13
Reduction-finding29221037.34
s11961513500
s12691513500
s2981416592.39
s33301917100
s4991311700
s51098100
s64116113447.92
s71315111229.03
s8201412600
sketch54500
Sorting_networks57244176.8
SzymanskiP192839.83
terminator4286373.61
tipdiam5549500
tipfixpoint5852200
toy822516.76
trafficlight-controller101019.83
uclid3027000