iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.702=-0.006 | | σ | 0.014-0.006=0.007 | | min | 278.684-278.695=-0.011 | | max | 278.720-278.710=0.010 |
| | mean | 2608.000-2612.000=-4.000 | | σ | 0.000 | | min | 2608.000-2612.000=-4.000 | | max | 2608.000-2612.000=-4.000 |
| | mean | 0.420-0.424=-0.003 | | σ | 0.001-0.009=-0.008 | | min | 0.419-0.419=0.000 | | max | 0.422-0.440=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.870-2268.872=-0.003 | | σ | 0.005-0.005=-0.001 | | min | 2268.863-2268.864=-0.001 | | max | 2268.875-2268.878=-0.004 |
| | mean | 2608.000-2612.000=-4.000 | | σ | 0.000 | | min | 2608.000-2612.000=-4.000 | | max | 2608.000-2612.000=-4.000 |
| | mean | 2.971-2.982=-0.012 | | σ | 0.120-0.167=-0.047 | | min | 2.904-2.856=0.048 | | max | 3.183-3.275=-0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.204-4952.315=-0.112 | | σ | 0.995-0.894=0.101 | | min | 4951.276-4951.837=-0.560 | | max | 4953.904-4953.909=-0.005 |
| | mean | 2608.000-2612.000=-4.000 | | σ | 0.000 | | min | 2608.000-2612.000=-4.000 | | max | 2608.000-2612.000=-4.000 |
| | mean | 8.213-8.200=0.012 | | σ | 0.279-0.367=-0.088 | | min | 7.894-7.741=0.153 | | max | 8.478-8.636=-0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.069-5167.076=-0.007 | | σ | 0.009-0.008=0.001 | | min | 5167.058-5167.071=-0.013 | | max | 5167.078-5167.090=-0.012 |
| | mean | 3406.400-3396.400=10.000 | | σ | 451.204-444.408=6.796 | | min | 2773.000-2774.000=-1.000 | | max | 3959.000-3944.000=15.000 |
| | mean | 9.478-9.513=-0.034 | | σ | 0.319-0.369=-0.050 | | min | 9.062-9.049=0.014 | | max | 9.927-9.976=-0.049 |
|