iters=5 new-facts=1 prior-facts=1 | | mean | 274.418-274.424=-0.006 | | σ | 0.009-0.004=0.005 | | min | 274.404-274.419=-0.015 | | max | 274.429-274.427=0.002 |
| | mean | 2732.000-2734.000=-2.000 | | σ | 0.000 | | min | 2732.000-2734.000=-2.000 | | max | 2732.000-2734.000=-2.000 |
| | mean | 0.408-0.410=-0.002 | | σ | 0.001-0.001=0.000 | | min | 0.405-0.409=-0.003 | | max | 0.409-0.411=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.644-2264.666=-0.023 | | σ | 0.022-0.010=0.012 | | min | 2264.621-2264.660=-0.040 | | max | 2264.665-2264.684=-0.019 |
| | mean | 2732.000-2734.000=-2.000 | | σ | 0.000 | | min | 2732.000-2734.000=-2.000 | | max | 2732.000-2734.000=-2.000 |
| | mean | 3.210-3.036=0.175 | | σ | 0.211-0.163=0.049 | | min | 2.949-2.885=0.064 | | max | 3.515-3.216=0.299 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.647-4951.771=-0.124 | | σ | 0.837-0.732=0.105 | | min | 4950.883-4951.337=-0.454 | | max | 4953.071-4953.066=0.005 |
| | mean | 2732.000-2734.000=-2.000 | | σ | 0.000 | | min | 2732.000-2734.000=-2.000 | | max | 2732.000-2734.000=-2.000 |
| | mean | 8.047-7.839=0.209 | | σ | 0.262-0.204=0.058 | | min | 7.680-7.667=0.014 | | max | 8.327-8.159=0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.461-5166.326=0.135 | | σ | 0.086-0.261=-0.175 | | min | 5166.374-5166.044=0.330 | | max | 5166.556-5166.561=-0.005 |
| | mean | 3378.800-3372.600=6.200 | | σ | 436.933-334.366=102.568 | | min | 2951.000-2905.000=46.000 | | max | 3824.000-3698.000=126.000 |
| | mean | 9.238-9.342=-0.104 | | σ | 0.422-0.214=0.208 | | min | 8.618-9.086=-0.468 | | max | 9.693-9.635=0.058 |
|