iters=5 new-facts=1 prior-facts=1 | | mean | 294.680-324.583=-29.903 | | σ | 0.013-0.044=-0.032 | | min | 294.661-324.506=-29.845 | | max | 294.695-324.614=-29.919 |
| | mean | 1653.000-2824.000=-1171.000 | | σ | 0.000 | | min | 1653.000-2824.000=-1171.000 | | max | 1653.000-2824.000=-1171.000 |
| | mean | 0.383-0.425=-0.042 | | σ | 0.001-0.005=-0.004 | | min | 0.381-0.421=-0.039 | | max | 0.385-0.433=-0.049 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.944-1985.146=-668.202 | | σ | 0.083-0.010=0.073 | | min | 1316.895-1985.128=-668.233 | | max | 1317.088-1985.153=-668.065 |
| | mean | 1653.000-2824.000=-1171.000 | | σ | 0.000 | | min | 1653.000-2824.000=-1171.000 | | max | 1653.000-2824.000=-1171.000 |
| | mean | 1.907-2.560=-0.653 | | σ | 0.076-0.082=-0.006 | | min | 1.826-2.452=-0.626 | | max | 2.001-2.682=-0.681 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.291-4808.651=-3253.361 | | σ | 6.838-7.751=-0.913 | | min | 1552.005-4804.643=-3252.638 | | max | 1567.517-4822.505=-3254.988 |
| | mean | 1653.000-2824.000=-1171.000 | | σ | 0.000 | | min | 1653.000-2824.000=-1171.000 | | max | 1653.000-2824.000=-1171.000 |
| | mean | 2.249-8.747=-6.498 | | σ | 0.115-0.451=-0.336 | | min | 2.106-7.981=-5.875 | | max | 2.377-9.044=-6.667 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.784-4996.273=-3111.488 | | σ | 0.033-0.163=-0.130 | | min | 1884.765-4995.981=-3111.216 | | max | 1884.843-4996.359=-3111.516 |
| | mean | 1773.200-3010.000=-1236.800 | | σ | 131.608-260.704=-129.096 | | min | 1653.000-2824.000=-1171.000 | | max | 1972.000-3425.000=-1453.000 |
| | mean | 3.016-8.570=-5.554 | | σ | 0.185-0.140=0.045 | | min | 2.878-8.456=-5.578 | | max | 3.334-8.801=-5.467 |
|