Lix version:  1015-08-24
Session date: 2015-08-25 23:57:43
     3.93 Starting the benchmarking.
     3.95 Starting test #0: Level `./levels/bench/downward-reduction-4p.txt'
     4.93 Frames per second: 53
     5.93 Frames per second: 60
     6.93 Frames per second: 60
     7.93 Frames per second: 60
     8.93 Frames per second: 60
     9.93 Frames per second: 60
    10.93 Frames per second: 60
    11.93 Frames per second: 60
    12.93 Frames per second: 60
    13.93 Frames per second: 60
    13.93 Starting test #1: Level `./levels/bench/anyway.txt'
    14.93 Frames per second: 31
    15.93 Frames per second: 60
    16.93 Frames per second: 60
    17.93 Frames per second: 60
    18.93 Frames per second: 60
    19.93 Frames per second: 60
    20.93 Frames per second: 60
    21.93 Frames per second: 60
    22.93 Frames per second: 60
    23.93 Frames per second: 60
    23.93 Starting test #2: Level `./levels/bench/200-gadgets.txt'
    24.93 Frames per second: 52
    25.93 Frames per second: 60
    26.93 Frames per second: 60
    27.93 Frames per second: 60
    28.93 Frames per second: 61
    29.93 Frames per second: 60
    30.93 Frames per second: 59
    31.93 Frames per second: 60
    32.93 Frames per second: 60
    33.93 Frames per second: 60
    33.93 Starting test #3: Level `./levels/bench/3500-gadgets.txt'
    35.27 Frames per second: 1
    36.28 Frames per second: 22
    37.28 Frames per second: 21
    38.30 Frames per second: 22
    39.33 Frames per second: 22
    40.35 Frames per second: 22
    41.37 Frames per second: 23
    42.37 Frames per second: 22
    43.37 Frames per second: 22
    43.97 Starting test #4: Demo, mode 1
    44.37 Frames per second: 35
    45.37 Frames per second: 60
    46.37 Frames per second: 60
    47.37 Frames per second: 59
    48.37 Frames per second: 61
    49.37 Frames per second: 60
    50.37 Frames per second: 60
    51.37 Frames per second: 59
    52.37 Frames per second: 61
    53.37 Frames per second: 59
    53.93 Starting test #5: Demo, mode 2
    54.40 Frames per second: 44
    55.40 Frames per second: 28
    56.42 Frames per second: 29
    57.43 Frames per second: 28
    58.43 Frames per second: 28
    59.43 Frames per second: 28
    60.45 Frames per second: 28
    61.45 Frames per second: 28
    62.47 Frames per second: 29
    63.47 Frames per second: 27
    63.97 Starting test #6: Demo, mode 3
    64.70 Frames per second: 12
    65.88 Frames per second: 5
    67.07 Frames per second: 5
    68.25 Frames per second: 5
    69.45 Frames per second: 5
    70.63 Frames per second: 5
    71.82 Frames per second: 5
    73.00 Frames per second: 5
    73.95 Starting test #7: Demo, mode 4
    74.20 Frames per second: 5
    75.20 Frames per second: 43
    76.20 Frames per second: 43
    77.22 Frames per second: 41
    78.22 Frames per second: 43
    79.22 Frames per second: 43
    80.23 Frames per second: 42
    81.25 Frames per second: 43
    82.27 Frames per second: 42
    83.27 Frames per second: 43
    83.93 Starting test #8: Demo, mode 5
    84.43 Frames per second: 24
    85.90 Frames per second: 3
    87.33 Frames per second: 3
    88.78 Frames per second: 3
    90.22 Frames per second: 3
    91.67 Frames per second: 3
    93.07 Frames per second: 3
    94.02 Starting test #9: Demo, mode 6
    94.58 Frames per second: 2
    95.67 Frames per second: 11
    96.75 Frames per second: 11
    97.83 Frames per second: 11
    98.85 Frames per second: 10
    99.90 Frames per second: 11
   100.97 Frames per second: 11
   102.03 Frames per second: 11
   103.07 Frames per second: 10
