iters=5 new-facts=1 prior-facts=1 | | mean | 286.769-262.595=24.174 | | σ | 0.005-0.009=-0.004 | | min | 286.762-262.582=24.179 | | max | 286.775-262.606=24.169 |
| | mean | 1513.000-1519.000=-6.000 | | σ | 0.000 | | min | 1513.000-1519.000=-6.000 | | max | 1513.000-1519.000=-6.000 |
| | mean | 0.370-0.354=0.016 | | σ | 0.006-0.008=-0.002 | | min | 0.364-0.348=0.016 | | max | 0.379-0.363=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1286.865-1262.648=24.218 | | σ | 0.029-0.076=-0.047 | | min | 1286.813-1262.609=24.204 | | max | 1286.883-1262.784=24.099 |
| | mean | 1513.000-1519.000=-6.000 | | σ | 0.000 | | min | 1513.000-1519.000=-6.000 | | max | 1513.000-1519.000=-6.000 |
| | mean | 1.895-1.876=0.019 | | σ | 0.106-0.073=0.033 | | min | 1.803-1.785=0.017 | | max | 2.040-1.956=0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4110.157-2058.199=2051.958 | | σ | 7.490-7.003=0.488 | | min | 4106.391-2054.874=2051.516 | | max | 4123.549-2070.714=2052.836 |
| | mean | 1513.000-1519.000=-6.000 | | σ | 0.000 | | min | 1513.000-1519.000=-6.000 | | max | 1513.000-1519.000=-6.000 |
| | mean | 7.401-4.556=2.845 | | σ | 0.323-0.193=0.130 | | min | 6.917-4.316=2.601 | | max | 7.763-4.794=2.970 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4100.153-2047.394=2052.758 | | σ | 0.048-0.007=0.041 | | min | 4100.105-2047.383=2052.722 | | max | 4100.228-2047.402=2052.826 |
| | mean | 1802.200-1758.800=43.400 | | σ | 172.162-199.581=-27.419 | | min | 1591.000-1522.000=69.000 | | max | 2038.000-1961.000=77.000 |
| | mean | 7.761-4.444=3.318 | | σ | 0.264-0.117=0.147 | | min | 7.425-4.312=3.113 | | max | 8.128-4.610=3.518 |
|