iters=5 new-facts=1 prior-facts=1 | | mean | 272.793-272.793=-0.000 | | σ | 0.007-0.008=-0.001 | | min | 272.782-272.783=-0.000 | | max | 272.798-272.800=-0.001 |
| | mean | 2493.000-2505.000=-12.000 | | σ | 0.000 | | min | 2493.000-2505.000=-12.000 | | max | 2493.000-2505.000=-12.000 |
| | mean | 0.381-0.383=-0.002 | | σ | 0.010-0.007=0.003 | | min | 0.375-0.379=-0.004 | | max | 0.399-0.395=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.222-1933.222=-0.000 | | σ | 0.010-0.010=-0.000 | | min | 1933.208-1933.207=0.001 | | max | 1933.230-1933.233=-0.004 |
| | mean | 2493.000-2505.000=-12.000 | | σ | 0.000 | | min | 2493.000-2505.000=-12.000 | | max | 2493.000-2505.000=-12.000 |
| | mean | 3.069-3.076=-0.006 | | σ | 0.069-0.083=-0.015 | | min | 3.005-2.965=0.040 | | max | 3.177-3.170=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.937-4756.664=0.273 | | σ | 7.638-7.774=-0.137 | | min | 4753.474-4752.645=0.830 | | max | 4770.600-4770.558=0.042 |
| | mean | 2493.000-2505.000=-12.000 | | σ | 0.000 | | min | 2493.000-2505.000=-12.000 | | max | 2493.000-2505.000=-12.000 |
| | mean | 8.642-8.505=0.137 | | σ | 0.462-0.630=-0.168 | | min | 7.853-7.614=0.239 | | max | 8.953-9.251=-0.298 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.452-4944.457=-0.005 | | σ | 0.009-0.015=-0.006 | | min | 4944.438-4944.439=-0.001 | | max | 4944.461-4944.470=-0.009 |
| | mean | 3006.200-2987.800=18.400 | | σ | 284.488-281.068=3.421 | | min | 2608.000-2612.000=-4.000 | | max | 3359.000-3333.000=26.000 |
| | mean | 8.504-8.488=0.016 | | σ | 0.173-0.050=0.123 | | min | 8.328-8.426=-0.098 | | max | 8.793-8.562=0.230 |
|