iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-270.145=1.615 | | σ | 0.005-0.008=-0.003 | | min | 271.752-270.136=1.616 | | max | 271.765-270.154=1.611 |
| | mean | 2843.000-2773.000=70.000 | | σ | 0.000 | | min | 2843.000-2773.000=70.000 | | max | 2843.000-2773.000=70.000 |
| | mean | 0.381-0.378=0.003 | | σ | 0.005-0.006=-0.001 | | min | 0.376-0.368=0.008 | | max | 0.390-0.387=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-1930.610=1.569 | | σ | 0.006-0.008=-0.002 | | min | 1932.169-1930.600=1.568 | | max | 1932.182-1930.620=1.562 |
| | mean | 2843.000-2773.000=70.000 | | σ | 0.000 | | min | 2843.000-2773.000=70.000 | | max | 2843.000-2773.000=70.000 |
| | mean | 3.063-2.531=0.532 | | σ | 0.128-0.090=0.038 | | min | 2.923-2.465=0.459 | | max | 3.256-2.643=0.613 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.959-4751.311=1.649 | | σ | 0.801-0.911=-0.110 | | min | 4752.370-4750.799=1.570 | | max | 4754.369-4752.930=1.439 |
| | mean | 2843.000-2773.000=70.000 | | σ | 0.000 | | min | 2843.000-2773.000=70.000 | | max | 2843.000-2773.000=70.000 |
| | mean | 8.196-8.558=-0.362 | | σ | 0.566-0.566=0.000 | | min | 7.786-7.654=0.132 | | max | 9.182-9.078=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.378-4941.702=1.676 | | σ | 0.017-0.164=-0.147 | | min | 4943.358-4941.410=1.949 | | max | 4943.396-4941.800=1.596 |
| | mean | 3047.200-3043.400=3.800 | | σ | 278.963-233.773=45.190 | | min | 2843.000-2773.000=70.000 | | max | 3476.000-3370.000=106.000 |
| | mean | 8.616-8.604=0.011 | | σ | 0.164-0.331=-0.167 | | min | 8.454-8.346=0.108 | | max | 8.813-9.002=-0.190 |
|