iters=5 new-facts=1 prior-facts=1 | | mean | 275.756-275.756=-0.000 | | σ | 0.009-0.009=-0.000 | | min | 275.744-275.745=-0.001 | | max | 275.763-275.766=-0.003 |
| | mean | 2651.000-2638.000=13.000 | | σ | 0.000 | | min | 2651.000-2638.000=13.000 | | max | 2651.000-2638.000=13.000 |
| | mean | 0.406-0.407=-0.001 | | σ | 0.007-0.012=-0.004 | | min | 0.398-0.397=0.001 | | max | 0.416-0.421=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282-2168.285=-0.003 | | σ | 0.015-0.011=0.003 | | min | 2168.261-2168.269=-0.008 | | max | 2168.302-2168.299=0.003 |
| | mean | 2651.000-2638.000=13.000 | | σ | 0.000 | | min | 2651.000-2638.000=13.000 | | max | 2651.000-2638.000=13.000 |
| | mean | 2.857-3.004=-0.147 | | σ | 0.200-0.144=0.056 | | min | 2.653-2.824=-0.170 | | max | 3.155-3.161=-0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.151-5048.039=0.111 | | σ | 1.002-1.152=-0.151 | | min | 5047.548-5047.026=0.522 | | max | 5049.921-5050.025=-0.104 |
| | mean | 2651.000-2638.000=13.000 | | σ | 0.000 | | min | 2651.000-2638.000=13.000 | | max | 2651.000-2638.000=13.000 |
| | mean | 8.745-8.926=-0.181 | | σ | 0.515-0.610=-0.095 | | min | 7.898-8.104=-0.206 | | max | 9.164-9.695=-0.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.256-5179.200=0.056 | | σ | 0.098-0.223=-0.125 | | min | 5179.147-5178.819=0.328 | | max | 5179.353-5179.359=-0.007 |
| | mean | 3259.800-3202.800=57.000 | | σ | 462.196-348.994=113.202 | | min | 2655.000-2710.000=-55.000 | | max | 3877.000-3630.000=247.000 |
| | mean | 9.858-9.917=-0.058 | | σ | 0.266-0.326=-0.060 | | min | 9.510-9.469=0.041 | | max | 10.235-10.269=-0.034 |
|