iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-280.284=-4.717 | | σ | 0.007-0.010=-0.003 | | min | 275.562-280.272=-4.711 | | max | 275.578-280.295=-4.717 |
| | mean | 2640.000-2791.000=-151.000 | | σ | 0.000 | | min | 2640.000-2791.000=-151.000 | | max | 2640.000-2791.000=-151.000 |
| | mean | 0.391-0.417=-0.026 | | σ | 0.008-0.005=0.003 | | min | 0.383-0.410=-0.027 | | max | 0.400-0.422=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2270.270=-102.170 | | σ | 0.009-0.083=-0.074 | | min | 2168.089-2270.130=-102.041 | | max | 2168.110-2270.356=-102.245 |
| | mean | 2640.000-2791.000=-151.000 | | σ | 0.000 | | min | 2640.000-2791.000=-151.000 | | max | 2640.000-2791.000=-151.000 |
| | mean | 2.997-3.135=-0.138 | | σ | 0.161-0.190=-0.029 | | min | 2.836-2.920=-0.084 | | max | 3.223-3.327=-0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922-5147.474=-99.552 | | σ | 0.896-1.101=-0.205 | | min | 5047.391-5146.655=-99.264 | | max | 5049.516-5149.405=-99.889 |
| | mean | 2640.000-2791.000=-151.000 | | σ | 0.000 | | min | 2640.000-2791.000=-151.000 | | max | 2640.000-2791.000=-151.000 |
| | mean | 9.018-8.867=0.151 | | σ | 0.328-0.756=-0.428 | | min | 8.597-8.172=0.426 | | max | 9.493-9.966=-0.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5285.554=-106.512 | | σ | 0.082-0.244=-0.162 | | min | 5178.961-5285.144=-106.183 | | max | 5179.131-5285.750=-106.620 |
| | mean | 3218.800-3400.600=-181.800 | | σ | 388.112-418.104=-29.992 | | min | 2684.000-2816.000=-132.000 | | max | 3704.000-3926.000=-222.000 |
| | mean | 9.864-10.133=-0.269 | | σ | 0.271-0.185=0.086 | | min | 9.489-9.931=-0.442 | | max | 10.214-10.352=-0.138 |
|