iters=5 new-facts=1 prior-facts=1 | | mean | 324.025-272.754=51.271 | | σ | 0.026-0.005=0.021 | | min | 323.980-272.748=51.232 | | max | 324.040-272.759=51.280 |
| | mean | 2411.000-2439.000=-28.000 | | σ | 0.000 | | min | 2411.000-2439.000=-28.000 | | max | 2411.000-2439.000=-28.000 |
| | mean | 0.427-0.379=0.048 | | σ | 0.005-0.001=0.004 | | min | 0.423-0.379=0.045 | | max | 0.435-0.380=0.055 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.577-1933.167=51.410 | | σ | 0.022-0.022=0.000 | | min | 1984.555-1933.131=51.425 | | max | 1984.601-1933.186=51.415 |
| | mean | 2411.000-2439.000=-28.000 | | σ | 0.000 | | min | 2411.000-2439.000=-28.000 | | max | 2411.000-2439.000=-28.000 |
| | mean | 2.641-2.988=-0.347 | | σ | 0.132-0.162=-0.029 | | min | 2.551-2.804=-0.254 | | max | 2.873-3.147=-0.274 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.252-4756.919=51.333 | | σ | 7.726-7.581=0.145 | | min | 4804.676-4753.470=51.206 | | max | 4822.071-4770.480=51.592 |
| | mean | 2411.000-2439.000=-28.000 | | σ | 0.000 | | min | 2411.000-2439.000=-28.000 | | max | 2411.000-2439.000=-28.000 |
| | mean | 8.861-8.577=0.284 | | σ | 0.369-0.258=0.111 | | min | 8.431-8.317=0.114 | | max | 9.251-8.958=0.292 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.808-4944.322=51.486 | | σ | 0.021-0.165=-0.144 | | min | 4995.783-4944.028=51.754 | | max | 4995.830-4944.410=51.420 |
| | mean | 2949.200-2906.800=42.400 | | σ | 266.441-389.707=-123.266 | | min | 2584.000-2439.000=145.000 | | max | 3288.000-3432.000=-144.000 |
| | mean | 8.709-8.394=0.316 | | σ | 0.151-0.040=0.112 | | min | 8.500-8.354=0.146 | | max | 8.874-8.452=0.422 |
|