iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-279.513=-2.318 | | σ | 0.006-0.003=0.004 | | min | 277.189-279.510=-2.321 | | max | 277.206-279.517=-2.311 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 0.397-0.414=-0.016 | | σ | 0.010-0.008=0.002 | | min | 0.392-0.407=-0.015 | | max | 0.416-0.426=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.431-2178.442=-4.012 | | σ | 0.026-0.015=0.011 | | min | 2174.405-2178.427=-4.023 | | max | 2174.473-2178.468=-3.994 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 2.929-3.325=-0.396 | | σ | 0.114-0.215=-0.101 | | min | 2.798-3.040=-0.242 | | max | 3.110-3.568=-0.459 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.629-5056.354=-3.725 | | σ | 0.976-0.964=0.013 | | min | 5052.074-5055.773=-3.698 | | max | 5054.367-5058.066=-3.699 |
| | mean | 2771.000-2836.000=-65.000 | | σ | 0.000 | | min | 2771.000-2836.000=-65.000 | | max | 2771.000-2836.000=-65.000 |
| | mean | 8.620-8.786=-0.166 | | σ | 0.611-0.407=0.204 | | min | 8.000-8.264=-0.264 | | max | 9.609-9.204=0.405 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.423-5193.753=-5.330 | | σ | 0.088-0.082=0.006 | | min | 5188.351-5193.688=-5.336 | | max | 5188.525-5193.843=-5.318 |
| | mean | 3252.200-3302.400=-50.200 | | σ | 356.611-372.905=-16.295 | | min | 2771.000-2836.000=-65.000 | | max | 3698.000-3669.000=29.000 |
| | mean | 8.912-8.881=0.031 | | σ | 0.237-0.131=0.106 | | min | 8.710-8.716=-0.006 | | max | 9.261-9.072=0.189 |
|