iters=5 new-facts=1 prior-facts=1 | | mean | 282.191-282.192=-0.001 | | σ | 0.008-0.011=-0.003 | | min | 282.183-282.181=0.001 | | max | 282.200-282.207=-0.007 |
| | mean | 2695.000-2666.000=29.000 | | σ | 0.000 | | min | 2695.000-2666.000=29.000 | | max | 2695.000-2666.000=29.000 |
| | mean | 0.399-0.406=-0.007 | | σ | 0.003-0.011=-0.008 | | min | 0.397-0.395=0.003 | | max | 0.405-0.418=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.719-2174.724=-0.004 | | σ | 0.011-0.007=0.004 | | min | 2174.706-2174.713=-0.007 | | max | 2174.736-2174.729=0.007 |
| | mean | 2695.000-2666.000=29.000 | | σ | 0.000 | | min | 2695.000-2666.000=29.000 | | max | 2695.000-2666.000=29.000 |
| | mean | 3.053-3.053=-0.001 | | σ | 0.217-0.265=-0.048 | | min | 2.763-2.792=-0.029 | | max | 3.241-3.455=-0.213 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.545-5054.544=0.001 | | σ | 0.942-0.952=-0.010 | | min | 5054.070-5054.013=0.057 | | max | 5056.228-5056.238=-0.010 |
| | mean | 2695.000-2666.000=29.000 | | σ | 0.000 | | min | 2695.000-2666.000=29.000 | | max | 2695.000-2666.000=29.000 |
| | mean | 8.819-9.013=-0.194 | | σ | 0.589-0.422=0.167 | | min | 8.046-8.389=-0.343 | | max | 9.475-9.453=0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.608-5185.680=-0.072 | | σ | 0.208-0.078=0.130 | | min | 5185.266-5185.610=-0.344 | | max | 5185.783-5185.776=0.007 |
| | mean | 3219.200-3230.200=-11.000 | | σ | 374.444-388.540=-14.096 | | min | 2695.000-2690.000=5.000 | | max | 3687.000-3720.000=-33.000 |
| | mean | 9.985-10.061=-0.076 | | σ | 0.335-0.167=0.168 | | min | 9.592-9.840=-0.248 | | max | 10.423-10.293=0.130 |
|