WATCH: 0.00 CPU 0.01 WC
This is MELIA, version 0.1.2
Input formulas:
===============
¬((f(4) ≤ 3) ⇐ ((f(7) ≤ 3) ∧ (∀ U:$int (f((U + 1)) ≤ f((U + 2))))))

With signature:
===============
Signature with
 background types: {$int}
 background ranks: 
    4: $int
    $product: $int × $int → $int
    $true: $o
    $sum: $int × $int → $int
    $greatereq: $int × $int → $o
    1: $int
    $divides: $int × $int → $o
    $lesseq: $int × $int → $o
    2: $int
    $evaleq: $int × $int → $o
    $uminus: $int → $int
    $less: $int × $int → $o
    $difference: $int × $int → $int
    7: $int
    3: $int
    $greater: $int × $int → $o
 foreground types: {$i, $o, $tType}
 foreground ranks: 
    $true: $o
    $false: $o
    f: $int → $int

Proving ...

WATCH: 5.10 CPU 3.03 WC

WATCH: 8.48 CPU 6.03 WC

WATCH: 11.54 CPU 9.04 WC

WATCH: 14.72 CPU 12.05 WC

WATCH: 17.94 CPU 15.06 WC

WATCH: 21.04 CPU 18.07 WC

WATCH: 24.21 CPU 21.08 WC

WATCH: 27.26 CPU 24.09 WC

WATCH: 30.34 CPU 27.10 WC

WATCH: 33.40 CPU 30.11 WC

WATCH: 36.46 CPU 33.13 WC

WATCH: 39.52 CPU 36.14 WC

WATCH: 42.61 CPU 39.15 WC

WATCH: 45.68 CPU 42.17 WC

WATCH: 48.76 CPU 45.18 WC

WATCH: 51.80 CPU 48.19 WC

WATCH: 54.88 CPU 51.20 WC

WATCH: 57.92 CPU 54.21 WC

WATCH: 60.99 CPU 57.22 WC

WATCH: 64.05 CPU 60.23 WC

WATCH: 67.17 CPU 63.24 WC

WATCH: 70.22 CPU 66.25 WC

WATCH: 73.27 CPU 69.26 WC

WATCH: 76.32 CPU 72.27 WC

WATCH: 79.37 CPU 75.28 WC

WATCH: 82.43 CPU 78.29 WC

WATCH: 85.49 CPU 81.30 WC

WATCH: 88.54 CPU 84.31 WC

WATCH: 91.65 CPU 87.32 WC

WATCH: 94.70 CPU 90.33 WC

WATCH: 97.76 CPU 93.34 WC

WATCH: 100.80 CPU 96.35 WC

WATCH: 103.85 CPU 99.36 WC

WATCH: 106.91 CPU 102.37 WC

WATCH: 109.96 CPU 105.38 WC

WATCH: 113.02 CPU 108.39 WC

WATCH: 116.07 CPU 111.40 WC

WATCH: 119.13 CPU 114.41 WC

WATCH: 122.20 CPU 117.42 WC

WATCH: 125.26 CPU 120.43 WC

WATCH: 128.33 CPU 123.44 WC

WATCH: 131.38 CPU 126.45 WC

WATCH: 134.44 CPU 129.46 WC

WATCH: 137.56 CPU 132.47 WC

WATCH: 140.61 CPU 135.48 WC

WATCH: 143.67 CPU 138.49 WC

WATCH: 146.81 CPU 141.50 WC

WATCH: 149.92 CPU 144.51 WC

WATCH: 153.06 CPU 147.52 WC

WATCH: 156.12 CPU 150.53 WC

WATCH: 159.26 CPU 153.54 WC

WATCH: 162.35 CPU 156.55 WC

WATCH: 165.42 CPU 159.56 WC

WATCH: 168.47 CPU 162.57 WC

WATCH: 171.53 CPU 165.58 WC

WATCH: 174.66 CPU 168.59 WC

WATCH: 177.71 CPU 171.60 WC

WATCH: 180.81 CPU 174.61 WC

WATCH: 183.93 CPU 177.61 WC

WATCH: 186.98 CPU 180.62 WC

WATCH: 190.05 CPU 183.63 WC

WATCH: 193.11 CPU 186.64 WC

WATCH: 196.17 CPU 189.65 WC

WATCH: 199.22 CPU 192.66 WC

WATCH: 202.43 CPU 195.67 WC

WATCH: 205.57 CPU 198.69 WC

WATCH: 208.76 CPU 201.70 WC

WATCH: 211.86 CPU 204.71 WC

WATCH: 214.92 CPU 207.72 WC

WATCH: 218.16 CPU 210.73 WC

WATCH: 221.24 CPU 213.74 WC

WATCH: 224.32 CPU 216.76 WC

WATCH: 227.40 CPU 219.77 WC

WATCH: 230.51 CPU 222.79 WC

WATCH: 233.60 CPU 225.79 WC

WATCH: 236.68 CPU 228.80 WC

WATCH: 239.78 CPU 231.81 WC

WATCH: 242.84 CPU 234.82 WC

WATCH: 245.92 CPU 237.83 WC

WATCH: 249.00 CPU 240.85 WC

WATCH: 252.15 CPU 243.86 WC

WATCH: 255.23 CPU 246.88 WC

WATCH: 258.41 CPU 249.89 WC

WATCH: 261.46 CPU 252.91 WC

WATCH: 264.53 CPU 255.93 WC

WATCH: 267.57 CPU 258.94 WC

WATCH: 270.74 CPU 261.96 WC

WATCH: 273.80 CPU 264.97 WC

WATCH: 276.87 CPU 267.99 WC

WATCH: 279.96 CPU 271.00 WC

WATCH: 283.05 CPU 274.01 WC

WATCH: 286.16 CPU 277.02 WC

WATCH: 289.24 CPU 280.04 WC

WATCH: 292.39 CPU 283.06 WC

WATCH: 295.49 CPU 286.07 WC

WATCH: 298.59 CPU 289.08 WC

WATCH: 301.65 CPU 292.09 WC

FINAL WATCH: 301.65 CPU 292.20 WC