iters=5 new-facts=1 prior-facts=1 | | mean | 285.410-326.580=-41.170 | | σ | 0.012-0.022=-0.010 | | min | 285.391-326.543=-41.152 | | max | 285.424-326.598=-41.175 |
| | mean | 1631.000-2590.000=-959.000 | | σ | 0.000 | | min | 1631.000-2590.000=-959.000 | | max | 1631.000-2590.000=-959.000 |
| | mean | 0.377-0.426=-0.049 | | σ | 0.007-0.005=0.002 | | min | 0.372-0.421=-0.048 | | max | 0.389-0.431=-0.042 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.378-1988.739=-703.361 | | σ | 0.136-0.014=0.122 | | min | 1285.309-1988.723=-703.414 | | max | 1285.620-1988.756=-703.136 |
| | mean | 1631.000-2590.000=-959.000 | | σ | 0.000 | | min | 1631.000-2590.000=-959.000 | | max | 1631.000-2590.000=-959.000 |
| | mean | 1.915-2.703=-0.788 | | σ | 0.166-0.131=0.035 | | min | 1.747-2.551=-0.804 | | max | 2.166-2.881=-0.715 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.700-4813.567=-3005.866 | | σ | 7.007-7.711=-0.704 | | min | 1804.308-4810.072=-3005.765 | | max | 1820.216-4827.360=-3007.143 |
| | mean | 1631.000-2590.000=-959.000 | | σ | 0.000 | | min | 1631.000-2590.000=-959.000 | | max | 1631.000-2590.000=-959.000 |
| | mean | 4.102-8.765=-4.663 | | σ | 0.298-0.310=-0.012 | | min | 3.702-8.269=-4.567 | | max | 4.438-9.042=-4.603 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195-5001.136=-2930.941 | | σ | 0.008-0.021=-0.013 | | min | 2070.185-5001.108=-2930.923 | | max | 2070.206-5001.160=-2930.954 |
| | mean | 1828.800-2995.400=-1166.600 | | σ | 170.894-266.079=-95.186 | | min | 1631.000-2608.000=-977.000 | | max | 2066.000-3316.000=-1250.000 |
| | mean | 4.528-9.604=-5.076 | | σ | 0.067-0.200=-0.133 | | min | 4.427-9.347=-4.920 | | max | 4.614-9.846=-5.232 |
|