iters=5 new-facts=1 prior-facts=1 | | mean | 423.112-422.731=0.381 | | σ | 0.076-0.076=-0.001 | | min | 422.979-422.596=0.383 | | max | 423.154-422.773=0.381 |
| | mean | 2615.000-2597.000=18.000 | | σ | 0.000 | | min | 2615.000-2597.000=18.000 | | max | 2615.000-2597.000=18.000 |
| | mean | 0.585-0.572=0.013 | | σ | 0.013-0.004=0.009 | | min | 0.573-0.569=0.004 | | max | 0.606-0.579=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2122.368-2122.009=0.359 | | σ | 0.054-0.016=0.038 | | min | 2122.273-2121.991=0.282 | | max | 2122.403-2122.031=0.371 |
| | mean | 2615.000-2597.000=18.000 | | σ | 0.000 | | min | 2615.000-2597.000=18.000 | | max | 2615.000-2597.000=18.000 |
| | mean | 2.980-2.943=0.037 | | σ | 0.161-0.144=0.017 | | min | 2.710-2.752=-0.042 | | max | 3.135-3.098=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5110.253-5109.835=0.418 | | σ | 7.827-7.489=0.339 | | min | 5106.318-5106.443=-0.125 | | max | 5124.247-5123.231=1.017 |
| | mean | 2615.000-2597.000=18.000 | | σ | 0.000 | | min | 2615.000-2597.000=18.000 | | max | 2615.000-2597.000=18.000 |
| | mean | 9.687-9.507=0.180 | | σ | 0.152-0.271=-0.119 | | min | 9.456-9.078=0.378 | | max | 9.823-9.771=0.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5295.534-5295.002=0.532 | | σ | 0.023-0.304=-0.282 | | min | 5295.497-5294.462=1.035 | | max | 5295.555-5295.183=0.372 |
| | mean | 3090.000-3044.400=45.600 | | σ | 403.081-356.867=46.214 | | min | 2615.000-2597.000=18.000 | | max | 3621.000-3518.000=103.000 |
| | mean | 9.323-9.249=0.074 | | σ | 0.147-0.282=-0.135 | | min | 9.144-9.017=0.127 | | max | 9.495-9.571=-0.075 |
|