iters=5 new-facts=1 prior-facts=1 | | mean | 272.360-275.733=-3.373 | | σ | 0.006-0.009=-0.003 | | min | 272.354-275.721=-3.368 | | max | 272.366-275.744=-3.379 |
| | mean | 2769.000-2668.000=101.000 | | σ | 0.000 | | min | 2769.000-2668.000=101.000 | | max | 2769.000-2668.000=101.000 |
| | mean | 0.385-0.381=0.004 | | σ | 0.006-0.004=0.002 | | min | 0.379-0.377=0.002 | | max | 0.394-0.388=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.729-1936.130=-3.400 | | σ | 0.013-0.016=-0.002 | | min | 1932.714-1936.115=-3.401 | | max | 1932.747-1936.149=-3.401 |
| | mean | 2769.000-2668.000=101.000 | | σ | 0.000 | | min | 2769.000-2668.000=101.000 | | max | 2769.000-2668.000=101.000 |
| | mean | 3.064-3.035=0.029 | | σ | 0.070-0.138=-0.068 | | min | 2.996-2.811=0.184 | | max | 3.156-3.154=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.438-4756.927=-3.490 | | σ | 0.922-0.824=0.098 | | min | 4752.692-4756.399=-3.707 | | max | 4755.043-4758.391=-3.348 |
| | mean | 2769.000-2668.000=101.000 | | σ | 0.000 | | min | 2769.000-2668.000=101.000 | | max | 2769.000-2668.000=101.000 |
| | mean | 8.251-8.197=0.053 | | σ | 0.441-0.537=-0.096 | | min | 7.594-7.729=-0.136 | | max | 8.570-9.060=-0.489 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.965-4947.284=-3.320 | | σ | 0.021-0.151=-0.130 | | min | 4943.942-4947.015=-3.073 | | max | 4943.986-4947.364=-3.378 |
| | mean | 2993.600-2981.600=12.000 | | σ | 216.103-341.816=-125.714 | | min | 2769.000-2668.000=101.000 | | max | 3306.000-3460.000=-154.000 |
| | mean | 8.488-8.547=-0.059 | | σ | 0.046-0.219=-0.173 | | min | 8.433-8.344=0.089 | | max | 8.553-8.885=-0.332 |
|