iters=5 new-facts=1 prior-facts=1 | | mean | 269.350-269.362=-0.012 | | σ | 0.005-0.013=-0.008 | | min | 269.344-269.346=-0.002 | | max | 269.355-269.376=-0.021 |
| | mean | 2663.000-2695.000=-32.000 | | σ | 0.000 | | min | 2663.000-2695.000=-32.000 | | max | 2663.000-2695.000=-32.000 |
| | mean | 0.378-0.378=-0.000 | | σ | 0.004-0.005=-0.001 | | min | 0.375-0.374=0.001 | | max | 0.384-0.385=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.758-1929.753=0.005 | | σ | 0.011-0.018=-0.007 | | min | 1929.750-1929.740=0.010 | | max | 1929.778-1929.785=-0.007 |
| | mean | 2663.000-2695.000=-32.000 | | σ | 0.000 | | min | 2663.000-2695.000=-32.000 | | max | 2663.000-2695.000=-32.000 |
| | mean | 3.026-2.969=0.057 | | σ | 0.106-0.320=-0.214 | | min | 2.897-2.469=0.428 | | max | 3.190-3.324=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.361-4750.494=-0.133 | | σ | 0.968-0.838=0.131 | | min | 4749.529-4750.029=-0.499 | | max | 4752.039-4751.987=0.052 |
| | mean | 2663.000-2695.000=-32.000 | | σ | 0.000 | | min | 2663.000-2695.000=-32.000 | | max | 2663.000-2695.000=-32.000 |
| | mean | 8.641-8.449=0.192 | | σ | 0.399-0.500=-0.101 | | min | 7.991-7.756=0.236 | | max | 9.055-8.968=0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.985-4940.989=-0.004 | | σ | 0.018-0.012=0.006 | | min | 4940.964-4940.974=-0.011 | | max | 4941.002-4941.004=-0.002 |
| | mean | 3018.000-3030.000=-12.000 | | σ | 265.855-286.497=-20.642 | | min | 2663.000-2695.000=-32.000 | | max | 3323.000-3414.000=-91.000 |
| | mean | 8.508-8.547=-0.038 | | σ | 0.142-0.174=-0.032 | | min | 8.343-8.360=-0.016 | | max | 8.689-8.771=-0.082 |
|