iters=5 new-facts=1 prior-facts=1 | | mean | 275.565-275.567=-0.003 | | σ | 0.007-0.005=0.001 | | min | 275.557-275.558=-0.001 | | max | 275.572-275.572=0.001 |
| | mean | 2774.000-2697.000=77.000 | | σ | 0.000 | | min | 2774.000-2697.000=77.000 | | max | 2774.000-2697.000=77.000 |
| | mean | 0.400-0.395=0.006 | | σ | 0.007-0.007=-0.000 | | min | 0.393-0.384=0.009 | | max | 0.408-0.401=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085-2168.101=-0.016 | | σ | 0.009-0.008=0.001 | | min | 2168.075-2168.091=-0.016 | | max | 2168.096-2168.111=-0.016 |
| | mean | 2774.000-2697.000=77.000 | | σ | 0.000 | | min | 2774.000-2697.000=77.000 | | max | 2774.000-2697.000=77.000 |
| | mean | 2.980-2.919=0.061 | | σ | 0.133-0.147=-0.014 | | min | 2.761-2.719=0.042 | | max | 3.124-3.085=0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.780-5047.774=0.005 | | σ | 1.020-0.631=0.389 | | min | 5046.997-5047.380=-0.383 | | max | 5049.566-5048.895=0.672 |
| | mean | 2774.000-2697.000=77.000 | | σ | 0.000 | | min | 2774.000-2697.000=77.000 | | max | 2774.000-2697.000=77.000 |
| | mean | 8.923-8.741=0.182 | | σ | 0.466-0.393=0.073 | | min | 8.148-8.109=0.040 | | max | 9.295-9.069=0.226 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.038-5178.978=0.060 | | σ | 0.087-0.216=-0.128 | | min | 5178.956-5178.617=0.339 | | max | 5179.154-5179.149=0.004 |
| | mean | 3238.800-3221.800=17.000 | | σ | 339.007-381.561=-42.554 | | min | 2774.000-2697.000=77.000 | | max | 3679.000-3701.000=-22.000 |
| | mean | 9.701-9.827=-0.126 | | σ | 0.592-0.334=0.257 | | min | 8.707-9.511=-0.803 | | max | 10.214-10.267=-0.054 |
|