iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-279.512=-2.316 | | σ | 0.005-0.009=-0.004 | | min | 277.190-279.501=-2.311 | | max | 277.203-279.520=-2.317 |
| | mean | 2700.000-2844.000=-144.000 | | σ | 0.000 | | min | 2700.000-2844.000=-144.000 | | max | 2700.000-2844.000=-144.000 |
| | mean | 0.399-0.409=-0.010 | | σ | 0.009-0.007=0.002 | | min | 0.394-0.404=-0.010 | | max | 0.415-0.420=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435-2178.444=-4.009 | | σ | 0.018-0.015=0.003 | | min | 2174.414-2178.422=-4.008 | | max | 2174.464-2178.459=-3.995 |
| | mean | 2700.000-2844.000=-144.000 | | σ | 0.000 | | min | 2700.000-2844.000=-144.000 | | max | 2700.000-2844.000=-144.000 |
| | mean | 2.886-3.288=-0.401 | | σ | 0.104-0.189=-0.084 | | min | 2.786-3.035=-0.249 | | max | 3.047-3.491=-0.444 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.609-5056.277=-3.668 | | σ | 1.003-1.118=-0.115 | | min | 5052.046-5055.162=-3.116 | | max | 5054.391-5058.145=-3.754 |
| | mean | 2700.000-2844.000=-144.000 | | σ | 0.000 | | min | 2700.000-2844.000=-144.000 | | max | 2700.000-2844.000=-144.000 |
| | mean | 9.090-9.310=-0.221 | | σ | 0.697-0.749=-0.052 | | min | 8.034-8.283=-0.249 | | max | 9.782-10.308=-0.525 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.397-5193.760=-5.363 | | σ | 0.125-0.089=0.036 | | min | 5188.229-5193.683=-5.454 | | max | 5188.528-5193.857=-5.329 |
| | mean | 3220.000-3251.600=-31.600 | | σ | 459.772-305.788=153.984 | | min | 2700.000-2844.000=-144.000 | | max | 3847.000-3673.000=174.000 |
| | mean | 8.791-8.965=-0.174 | | σ | 0.160-0.415=-0.255 | | min | 8.645-8.624=0.021 | | max | 9.056-9.665=-0.608 |
|