iters=5 new-facts=1 prior-facts=1 | | mean | 279.047-279.072=-0.025 | | σ | 0.002-0.008=-0.006 | | min | 279.044-279.062=-0.018 | | max | 279.050-279.084=-0.035 |
| | mean | 2848.000-2477.000=371.000 | | σ | 0.000 | | min | 2848.000-2477.000=371.000 | | max | 2848.000-2477.000=371.000 |
| | mean | 0.393-0.390=0.004 | | σ | 0.007-0.007=0.000 | | min | 0.388-0.382=0.005 | | max | 0.404-0.397=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.512-1939.517=-0.005 | | σ | 0.008-0.016=-0.009 | | min | 1939.502-1939.503=-0.001 | | max | 1939.523-1939.544=-0.021 |
| | mean | 2848.000-2477.000=371.000 | | σ | 0.000 | | min | 2848.000-2477.000=371.000 | | max | 2848.000-2477.000=371.000 |
| | mean | 3.006-2.952=0.054 | | σ | 0.181-0.271=-0.090 | | min | 2.710-2.506=0.204 | | max | 3.191-3.204=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.035-4760.073=-0.037 | | σ | 0.883-0.794=0.089 | | min | 4759.546-4759.663=-0.117 | | max | 4761.598-4761.487=0.111 |
| | mean | 2848.000-2477.000=371.000 | | σ | 0.000 | | min | 2848.000-2477.000=371.000 | | max | 2848.000-2477.000=371.000 |
| | mean | 8.359-8.112=0.247 | | σ | 0.672-0.284=0.388 | | min | 7.705-7.809=-0.104 | | max | 9.381-8.576=0.804 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.323-4950.466=-0.143 | | σ | 0.367-0.088=0.278 | | min | 4949.683-4950.389=-0.706 | | max | 4950.568-4950.570=-0.001 |
| | mean | 3043.200-2943.200=100.000 | | σ | 265.819-390.611=-124.792 | | min | 2848.000-2477.000=371.000 | | max | 3461.000 |
| | mean | 8.398-8.511=-0.113 | | σ | 0.072-0.199=-0.127 | | min | 8.271-8.396=-0.126 | | max | 8.440-8.860=-0.420 |
|