iters=5 new-facts=1 prior-facts=1 | | mean | 326.576-326.571=0.005 | | σ | 0.051-0.062=-0.011 | | min | 326.488-326.462=0.026 | | max | 326.616-326.616=-0.000 |
| | mean | 2583.000-2832.000=-249.000 | | σ | 0.000 | | min | 2583.000-2832.000=-249.000 | | max | 2583.000-2832.000=-249.000 |
| | mean | 0.426-0.423=0.003 | | σ | 0.003-0.026=-0.023 | | min | 0.423-0.379=0.044 | | max | 0.431-0.448=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.739-1988.727=0.012 | | σ | 0.017-0.006=0.011 | | min | 1988.710-1988.721=-0.011 | | max | 1988.750-1988.735=0.016 |
| | mean | 2583.000-2832.000=-249.000 | | σ | 0.000 | | min | 2583.000-2832.000=-249.000 | | max | 2583.000-2832.000=-249.000 |
| | mean | 2.702-2.665=0.037 | | σ | 0.159-0.057=0.102 | | min | 2.507-2.577=-0.070 | | max | 2.934-2.729=0.205 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.593-4813.455=0.139 | | σ | 7.724-7.484=0.240 | | min | 4810.036-4810.074=-0.038 | | max | 4827.411-4826.842=0.568 |
| | mean | 2583.000-2832.000=-249.000 | | σ | 0.000 | | min | 2583.000-2832.000=-249.000 | | max | 2583.000-2832.000=-249.000 |
| | mean | 8.393-8.891=-0.498 | | σ | 0.580-0.274=0.306 | | min | 7.750-8.534=-0.784 | | max | 9.282-9.293=-0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.065-5001.145=-0.080 | | σ | 0.170-0.025=0.145 | | min | 5000.762-5001.119=-0.356 | | max | 5001.156-5001.185=-0.029 |
| | mean | 2916.000-3042.800=-126.800 | | σ | 356.419-189.096=167.323 | | min | 2583.000-2832.000=-249.000 | | max | 3418.000-3310.000=108.000 |
| | mean | 9.555-9.860=-0.305 | | σ | 0.226-0.156=0.070 | | min | 9.356-9.714=-0.359 | | max | 9.863-10.060=-0.197 |
|