iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-277.164=-1.595 | | σ | 0.008-0.008=-0.001 | | min | 275.563-277.154=-1.592 | | max | 275.582-277.173=-1.590 |
| | mean | 2641.000-2656.000=-15.000 | | σ | 0.000 | | min | 2641.000-2656.000=-15.000 | | max | 2641.000-2656.000=-15.000 |
| | mean | 0.391-0.394=-0.003 | | σ | 0.005-0.004=0.001 | | min | 0.387-0.391=-0.004 | | max | 0.397-0.400=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.096-2174.424=-6.327 | | σ | 0.013-0.005=0.007 | | min | 2168.083-2174.417=-6.334 | | max | 2168.116-2174.429=-6.313 |
| | mean | 2641.000-2656.000=-15.000 | | σ | 0.000 | | min | 2641.000-2656.000=-15.000 | | max | 2641.000-2656.000=-15.000 |
| | mean | 2.926-2.868=0.059 | | σ | 0.119-0.137=-0.018 | | min | 2.784-2.761=0.023 | | max | 3.107-3.101=0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.721-5052.539=-4.817 | | σ | 0.763-1.063=-0.300 | | min | 5047.072-5051.681=-4.609 | | max | 5049.036-5054.381=-5.345 |
| | mean | 2641.000-2656.000=-15.000 | | σ | 0.000 | | min | 2641.000-2656.000=-15.000 | | max | 2641.000-2656.000=-15.000 |
| | mean | 8.861-8.862=-0.002 | | σ | 0.771-0.710=0.061 | | min | 7.962-8.162=-0.200 | | max | 9.643-9.818=-0.175 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.045-5188.279=-9.234 | | σ | 0.091-0.195=-0.104 | | min | 5178.964-5188.010=-9.046 | | max | 5179.158-5188.523=-9.366 |
| | mean | 3212.600-3284.200=-71.600 | | σ | 351.548-496.906=-145.358 | | min | 2715.000-2656.000=59.000 | | max | 3642.000-3891.000=-249.000 |
| | mean | 9.932-8.799=1.132 | | σ | 0.336-0.118=0.218 | | min | 9.611-8.659=0.952 | | max | 10.339-8.938=1.401 |
|