iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-279.498=-2.305 | | σ | 0.004-0.016=-0.012 | | min | 277.190-279.480=-2.290 | | max | 277.197-279.514=-2.317 |
| | mean | 2621.000-2760.000=-139.000 | | σ | 0.000 | | min | 2621.000-2760.000=-139.000 | | max | 2621.000-2760.000=-139.000 |
| | mean | 0.396-0.410=-0.014 | | σ | 0.004-0.002=0.002 | | min | 0.393-0.407=-0.015 | | max | 0.403-0.414=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432-2178.423=-3.991 | | σ | 0.012-0.032=-0.020 | | min | 2174.415-2178.378=-3.963 | | max | 2174.449-2178.465=-4.017 |
| | mean | 2621.000-2760.000=-139.000 | | σ | 0.000 | | min | 2621.000-2760.000=-139.000 | | max | 2621.000-2760.000=-139.000 |
| | mean | 3.050-3.432=-0.383 | | σ | 0.225-0.087=0.138 | | min | 2.830-3.291=-0.461 | | max | 3.333-3.517=-0.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.580-5056.380=-3.800 | | σ | 0.970-0.979=-0.009 | | min | 5052.020-5055.815=-3.795 | | max | 5054.305-5058.125=-3.820 |
| | mean | 2621.000-2760.000=-139.000 | | σ | 0.000 | | min | 2621.000-2760.000=-139.000 | | max | 2621.000-2760.000=-139.000 |
| | mean | 9.005-8.860=0.145 | | σ | 0.328-0.612=-0.284 | | min | 8.538-8.061=0.478 | | max | 9.336-9.556=-0.220 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.422-5193.747=-5.326 | | σ | 0.095-0.101=-0.006 | | min | 5188.335-5193.641=-5.306 | | max | 5188.525-5193.857=-5.333 |
| | mean | 3269.800-3296.000=-26.200 | | σ | 386.731-400.590=-13.859 | | min | 2729.000-2760.000=-31.000 | | max | 3741.000-3680.000=61.000 |
| | mean | 9.225-8.879=0.346 | | σ | 0.531-0.169=0.362 | | min | 8.729-8.611=0.118 | | max | 9.795-9.049=0.746 |
|