iters=5 new-facts=1 prior-facts=1 | | mean | 285.676-326.716=-41.040 | | σ | 0.012-0.028=-0.016 | | min | 285.665-326.670=-41.005 | | max | 285.691-326.740=-41.049 |
| | mean | 1564.000-2692.000=-1128.000 | | σ | 0.000 | | min | 1564.000-2692.000=-1128.000 | | max | 1564.000-2692.000=-1128.000 |
| | mean | 0.385-0.427=-0.042 | | σ | 0.010-0.004=0.006 | | min | 0.376-0.423=-0.048 | | max | 0.397-0.433=-0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.643-1988.877=-703.235 | | σ | 0.136-0.010=0.126 | | min | 1285.580-1988.865=-703.285 | | max | 1285.886-1988.890=-703.004 |
| | mean | 1564.000-2692.000=-1128.000 | | σ | 0.000 | | min | 1564.000-2692.000=-1128.000 | | max | 1564.000-2692.000=-1128.000 |
| | mean | 1.883-2.705=-0.822 | | σ | 0.081-0.090=-0.009 | | min | 1.813-2.638=-0.825 | | max | 2.016-2.863=-0.848 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.972-4813.601=-3005.630 | | σ | 7.042-7.784=-0.741 | | min | 1804.608-4809.700=-3005.091 | | max | 1820.554-4827.519=-3006.964 |
| | mean | 1564.000-2692.000=-1128.000 | | σ | 0.000 | | min | 1564.000-2692.000=-1128.000 | | max | 1564.000-2692.000=-1128.000 |
| | mean | 4.174-8.757=-4.584 | | σ | 0.216-0.163=0.054 | | min | 3.981-8.594=-4.613 | | max | 4.541-8.980=-4.439 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.460-5001.202=-2930.741 | | σ | 0.010-0.151=-0.141 | | min | 2070.450-5000.933=-2930.483 | | max | 2070.473-5001.293=-2930.820 |
| | mean | 1835.400-3011.400=-1176.000 | | σ | 201.866-233.021=-31.155 | | min | 1597.000-2692.000=-1095.000 | | max | 2086.000-3310.000=-1224.000 |
| | mean | 4.585-9.813=-5.228 | | σ | 0.159-0.083=0.076 | | min | 4.479-9.702=-5.223 | | max | 4.863-9.910=-5.047 |
|