iters=5 new-facts=1 prior-facts=1 | | mean | 270.609-270.241=0.368 | | σ | 0.005-0.007=-0.002 | | min | 270.602-270.231=0.370 | | max | 270.613-270.250=0.363 |
| | mean | 2774.000-2772.000=2.000 | | σ | 0.000 | | min | 2774.000-2772.000=2.000 | | max | 2774.000-2772.000=2.000 |
| | mean | 0.380-0.386=-0.006 | | σ | 0.006-0.011=-0.005 | | min | 0.376-0.376=-0.000 | | max | 0.390-0.401=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.053-1930.704=0.349 | | σ | 0.021-0.009=0.012 | | min | 1931.030-1930.692=0.338 | | max | 1931.083-1930.713=0.370 |
| | mean | 2774.000-2772.000=2.000 | | σ | 0.000 | | min | 2774.000-2772.000=2.000 | | max | 2774.000-2772.000=2.000 |
| | mean | 2.876-2.511=0.365 | | σ | 0.336-0.107=0.229 | | min | 2.462-2.387=0.074 | | max | 3.200-2.665=0.535 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.723-4751.444=0.280 | | σ | 0.900-0.834=0.066 | | min | 4751.300-4750.847=0.454 | | max | 4753.333-4752.910=0.423 |
| | mean | 2774.000-2772.000=2.000 | | σ | 0.000 | | min | 2774.000-2772.000=2.000 | | max | 2774.000-2772.000=2.000 |
| | mean | 8.763-8.202=0.561 | | σ | 0.168-0.607=-0.439 | | min | 8.524-7.797=0.727 | | max | 8.930-9.209=-0.279 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.157-4941.866=0.291 | | σ | 0.167-0.032=0.136 | | min | 4941.861-4941.828=0.032 | | max | 4942.256-4941.898=0.358 |
| | mean | 3042.800-3043.800=-1.000 | | σ | 257.083-329.698=-72.615 | | min | 2774.000-2772.000=2.000 | | max | 3405.000-3535.000=-130.000 |
| | mean | 8.593-8.432=0.161 | | σ | 0.203-0.148=0.055 | | min | 8.400-8.303=0.097 | | max | 8.896-8.683=0.213 |
|