iters=5 new-facts=1 prior-facts=1 | | mean | 275.571-275.572=-0.001 | | σ | 0.006-0.009=-0.003 | | min | 275.564-275.562=0.002 | | max | 275.581-275.582=-0.000 |
| | mean | 2476.000-2472.000=4.000 | | σ | 0.000 | | min | 2476.000-2472.000=4.000 | | max | 2476.000-2472.000=4.000 |
| | mean | 0.400-0.398=0.002 | | σ | 0.006-0.010=-0.005 | | min | 0.395-0.388=0.008 | | max | 0.408-0.409=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2172.827-2172.833=-0.005 | | σ | 0.019-0.019=0.001 | | min | 2172.794-2172.804=-0.010 | | max | 2172.840-2172.850=-0.011 |
| | mean | 2476.000-2472.000=4.000 | | σ | 0.000 | | min | 2476.000-2472.000=4.000 | | max | 2476.000-2472.000=4.000 |
| | mean | 2.921-3.077=-0.156 | | σ | 0.207-0.206=0.000 | | min | 2.708-2.817=-0.109 | | max | 3.248-3.366=-0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5050.945-5050.827=0.117 | | σ | 0.905-0.983=-0.078 | | min | 5050.452-5050.010=0.442 | | max | 5052.558-5052.533=0.025 |
| | mean | 2476.000-2472.000=4.000 | | σ | 0.000 | | min | 2476.000-2472.000=4.000 | | max | 2476.000-2472.000=4.000 |
| | mean | 8.912-8.744=0.169 | | σ | 0.508-0.455=0.053 | | min | 8.115-8.177=-0.063 | | max | 9.374-9.087=0.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5186.797-5186.806=-0.009 | | σ | 0.082-0.087=-0.005 | | min | 5186.732-5186.735=-0.003 | | max | 5186.887-5186.927=-0.040 |
| | mean | 3258.400-3283.000=-24.600 | | σ | 381.709-420.631=-38.922 | | min | 2724.000-2695.000=29.000 | | max | 3725.000-3671.000=54.000 |
| | mean | 9.711-9.814=-0.102 | | σ | 0.167-0.257=-0.090 | | min | 9.594-9.597=-0.003 | | max | 10.006-10.163=-0.158 |
|