iters=5 new-facts=1 prior-facts=1 | | mean | 285.603-345.195=-59.592 | | σ | 0.011-0.070=-0.059 | | min | 285.587-345.070=-59.484 | | max | 285.614-345.234=-59.620 |
| | mean | 1593.000-2756.000=-1163.000 | | σ | 0.000 | | min | 1593.000-2756.000=-1163.000 | | max | 1593.000-2756.000=-1163.000 |
| | mean | 0.378-0.446=-0.068 | | σ | 0.005-0.003=0.002 | | min | 0.375-0.441=-0.066 | | max | 0.388-0.450=-0.062 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.567-2007.372=-721.805 | | σ | 0.134-0.012=0.122 | | min | 1285.502-2007.353=-721.850 | | max | 1285.807-2007.385=-721.578 |
| | mean | 1593.000-2756.000=-1163.000 | | σ | 0.000 | | min | 1593.000-2756.000=-1163.000 | | max | 1593.000-2756.000=-1163.000 |
| | mean | 1.846-2.755=-0.909 | | σ | 0.042-0.131=-0.089 | | min | 1.806-2.647=-0.841 | | max | 1.914-2.972=-1.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.884-4832.145=-3024.260 | | σ | 7.023-7.810=-0.787 | | min | 1804.540-4828.380=-3023.841 | | max | 1820.432-4846.113=-3025.680 |
| | mean | 1593.000-2756.000=-1163.000 | | σ | 0.000 | | min | 1593.000-2756.000=-1163.000 | | max | 1593.000-2756.000=-1163.000 |
| | mean | 4.135-8.655=-4.520 | | σ | 0.168-0.649=-0.481 | | min | 3.969-7.694=-3.725 | | max | 4.379-9.259=-4.880 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.393-5019.764=-2949.372 | | σ | 0.010-0.017=-0.007 | | min | 2070.380-5019.743=-2949.363 | | max | 2070.408-5019.783=-2949.375 |
| | mean | 1842.800-3010.000=-1167.200 | | σ | 202.226-237.120=-34.895 | | min | 1605.000-2756.000=-1151.000 | | max | 2095.000-3320.000=-1225.000 |
| | mean | 4.539-9.650=-5.112 | | σ | 0.135-0.256=-0.121 | | min | 4.450-9.216=-4.765 | | max | 4.775-9.883=-5.107 |
|