DIRECTORY | Tot | Slvd | Sat | Unsat | Unk | To | Mo | Err | Cpu[s] | Mem[MB] | marabou-master-20200405-p3 | 45 | 43 | 3 | 40 | 0 | 2 | 0 | 0 | 23690.4 | 12923.2 | marabou-optimize-floatutils-20200405-p3 | 45 | 43 | 3 | 40 | 0 | 2 | 0 | 0 | 22135.7 | 12828.8 | DIRECTORY | marabou-master-20200405-p3 | marabou-optimize-floatutils-20200405-p3 | Benchmark | Stat RES Exit Cpu[s] Mem[MB] | Stat RES Exit Cpu[s] Mem[MB] |  ACASXU_experimental_v2a_1_1.nnet |  to - 2 3600.03 594.9 |  to - 2 3600.04 594.8 |  ACASXU_experimental_v2a_1_2.nnet |  to - 2 3600.08 630.6 |  to - 2 3600.1 630.6 |  ACASXU_experimental_v2a_1_3.nnet |  ok 20 0 2433.48 535.7 |  ok 20 0 2198.33 519.2 |  ACASXU_experimental_v2a_1_4.nnet |  ok 20 0 183.66 284.0 |  ok 20 0 160.65 260.1 |  ACASXU_experimental_v2a_1_5.nnet |  ok 20 0 275.89 452.9 |  ok 20 0 245.49 452.9 |  ACASXU_experimental_v2a_1_6.nnet |  ok 20 0 77.56 269.0 |  ok 20 0 70.09 268.8 |  ACASXU_experimental_v2a_1_7.nnet |  ok 10 0 2.06 117.9 |  ok 10 0 1.7 107.0 |  ACASXU_experimental_v2a_1_8.nnet |  ok 10 0 3.5 85.2 |  ok 10 0 2.39 85.1 |  ACASXU_experimental_v2a_1_9.nnet |  ok 10 0 1.85 95.5 |  ok 10 0 1.49 106.1 |  ACASXU_experimental_v2a_2_1.nnet |  ok 20 0 1037.46 363.5 |  ok 20 0 930.19 363.6 |  ACASXU_experimental_v2a_2_2.nnet |  ok 20 0 552.39 336.9 |  ok 20 0 500.79 334.6 |  ACASXU_experimental_v2a_2_3.nnet |  ok 20 0 1396.77 489.3 |  ok 20 0 1273.21 489.4 |  ACASXU_experimental_v2a_2_4.nnet |  ok 20 0 11.96 133.0 |  ok 20 0 10.45 132.9 |  ACASXU_experimental_v2a_2_5.nnet |  ok 20 0 64.56 217.9 |  ok 20 0 59.56 217.9 |  ACASXU_experimental_v2a_2_6.nnet |  ok 20 0 24.19 208.2 |  ok 20 0 22.19 212.1 |  ACASXU_experimental_v2a_2_7.nnet |  ok 20 0 73.26 321.5 |  ok 20 0 69.59 324.0 |  ACASXU_experimental_v2a_2_8.nnet |  ok 20 0 18.25 171.7 |  ok 20 0 18.09 171.9 |  ACASXU_experimental_v2a_2_9.nnet |  ok 20 0 2.96 100.1 |  ok 20 0 2.49 100.2 |  ACASXU_experimental_v2a_3_1.nnet |  ok 20 0 79.35 302.2 |  ok 20 0 70.49 302.1 |  ACASXU_experimental_v2a_3_2.nnet |  ok 20 0 2872.05 476.7 |  ok 20 0 2597.86 476.2 |  ACASXU_experimental_v2a_3_3.nnet |  ok 20 0 451.66 330.1 |  ok 20 0 417.0 330.1 |  ACASXU_experimental_v2a_3_4.nnet |  ok 20 0 154.79 284.6 |  ok 20 0 149.99 284.4 |  ACASXU_experimental_v2a_3_5.nnet |  ok 20 0 55.65 204.9 |  ok 20 0 50.49 201.3 |  ACASXU_experimental_v2a_3_6.nnet |  ok 20 0 175.36 372.9 |  ok 20 0 158.39 363.8 |  ACASXU_experimental_v2a_3_7.nnet |  ok 20 0 11.76 164.8 |  ok 20 0 10.2 164.9 |  ACASXU_experimental_v2a_3_8.nnet |  ok 20 0 83.99 308.1 |  ok 20 0 75.89 308.1 |  ACASXU_experimental_v2a_3_9.nnet |  ok 20 0 69.86 174.7 |  ok 20 0 64.58 190.3 |  ACASXU_experimental_v2a_4_1.nnet |  ok 20 0 136.95 201.5 |  ok 20 0 124.03 197.5 |  ACASXU_experimental_v2a_4_2.nnet |  ok 20 0 2429.67 438.4 |  ok 20 0 2221.37 440.7 |  ACASXU_experimental_v2a_4_3.nnet |  ok 20 0 1779.08 433.2 |  ok 20 0 1604.43 433.1 |  ACASXU_experimental_v2a_4_4.nnet |  ok 20 0 22.26 216.7 |  ok 20 0 20.09 216.5 |  ACASXU_experimental_v2a_4_5.nnet |  ok 20 0 12.46 133.5 |  ok 20 0 10.69 130.8 |  ACASXU_experimental_v2a_4_6.nnet |  ok 20 0 142.56 332.2 |  ok 20 0 127.56 334.6 |  ACASXU_experimental_v2a_4_7.nnet |  ok 20 0 62.69 239.9 |  ok 20 0 61.89 226.8 |  ACASXU_experimental_v2a_4_8.nnet |  ok 20 0 78.75 254.3 |  ok 20 0 74.1 254.3 |  ACASXU_experimental_v2a_4_9.nnet |  ok 20 0 47.26 223.0 |  ok 20 0 43.15 199.3 |  ACASXU_experimental_v2a_5_1.nnet |  ok 20 0 847.88 455.7 |  ok 20 0 740.13 455.4 |  ACASXU_experimental_v2a_5_2.nnet |  ok 20 0 183.45 253.9 |  ok 20 0 164.28 245.3 |  ACASXU_experimental_v2a_5_3.nnet |  ok 20 0 191.86 351.4 |  ok 20 0 174.2 351.1 |  ACASXU_experimental_v2a_5_4.nnet |  ok 20 0 51.56 257.5 |  ok 20 0 46.99 263.3 |  ACASXU_experimental_v2a_5_5.nnet |  ok 20 0 51.59 209.9 |  ok 20 0 48.79 205.0 |  ACASXU_experimental_v2a_5_6.nnet |  ok 20 0 119.26 227.6 |  ok 20 0 107.29 214.8 |  ACASXU_experimental_v2a_5_7.nnet |  ok 20 0 7.46 156.6 |  ok 20 0 6.76 156.6 |  ACASXU_experimental_v2a_5_8.nnet |  ok 20 0 203.15 346.1 |  ok 20 0 191.3 346.3 |  ACASXU_experimental_v2a_5_9.nnet |  ok 20 0 8.09 165.0 |  ok 20 0 6.89 165.0 |