iters=5 new-facts=1 prior-facts=1 | | mean | 279.072-279.070=0.001 | | σ | 0.005-0.004=0.001 | | min | 279.064-279.064=-0.000 | | max | 279.077-279.075=0.002 |
| | mean | 2848.000-2858.000=-10.000 | | σ | 0.000 | | min | 2848.000-2858.000=-10.000 | | max | 2848.000-2858.000=-10.000 |
| | mean | 0.391-0.392=-0.001 | | σ | 0.005-0.006=-0.001 | | min | 0.387-0.385=0.001 | | max | 0.398-0.399=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.518-1939.520=-0.001 | | σ | 0.012-0.009=0.003 | | min | 1939.500-1939.508=-0.008 | | max | 1939.530-1939.529=0.001 |
| | mean | 2848.000-2858.000=-10.000 | | σ | 0.000 | | min | 2848.000-2858.000=-10.000 | | max | 2848.000-2858.000=-10.000 |
| | mean | 2.824-3.071=-0.247 | | σ | 0.206-0.089=0.116 | | min | 2.500-2.983=-0.482 | | max | 3.011-3.186=-0.175 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.056-4759.833=0.223 | | σ | 0.791-0.972=-0.182 | | min | 4759.561-4759.085=0.476 | | max | 4761.458-4761.470=-0.012 |
| | mean | 2848.000-2858.000=-10.000 | | σ | 0.000 | | min | 2848.000-2858.000=-10.000 | | max | 2848.000-2858.000=-10.000 |
| | mean | 8.165-8.139=0.026 | | σ | 0.379-0.334=0.045 | | min | 7.733-7.682=0.051 | | max | 8.634-8.585=0.048 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.467-4950.399=0.068 | | σ | 0.078-0.209=-0.131 | | min | 4950.401-4950.050=0.351 | | max | 4950.555-4950.567=-0.012 |
| | mean | 3077.200-3044.200=33.000 | | σ | 302.031-266.387=35.644 | | min | 2848.000-2858.000=-10.000 | | max | 3541.000-3462.000=79.000 |
| | mean | 8.491-8.377=0.113 | | σ | 0.122-0.050=0.071 | | min | 8.378-8.318=0.060 | | max | 8.639-8.441=0.199 |
|