iters=5 new-facts=1 prior-facts=1 | | mean | 285.604-326.633=-41.029 | | σ | 0.012-0.061=-0.049 | | min | 285.584-326.526=-40.942 | | max | 285.613-326.672=-41.059 |
| | mean | 1626.000-2640.000=-1014.000 | | σ | 0.000 | | min | 1626.000-2640.000=-1014.000 | | max | 1626.000-2640.000=-1014.000 |
| | mean | 0.379-0.431=-0.052 | | σ | 0.006-0.009=-0.003 | | min | 0.374-0.422=-0.048 | | max | 0.389-0.445=-0.056 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.570-1988.795=-703.225 | | σ | 0.134-0.014=0.120 | | min | 1285.506-1988.780=-703.273 | | max | 1285.809-1988.811=-703.002 |
| | mean | 1626.000-2640.000=-1014.000 | | σ | 0.000 | | min | 1626.000-2640.000=-1014.000 | | max | 1626.000-2640.000=-1014.000 |
| | mean | 1.893-2.728=-0.835 | | σ | 0.097-0.124=-0.026 | | min | 1.842-2.614=-0.772 | | max | 2.066-2.926=-0.860 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.905-4813.646=-3005.741 | | σ | 7.004-7.733=-0.729 | | min | 1804.563-4810.143=-3005.579 | | max | 1820.420-4827.478=-3007.058 |
| | mean | 1626.000-2640.000=-1014.000 | | σ | 0.000 | | min | 1626.000-2640.000=-1014.000 | | max | 1626.000-2640.000=-1014.000 |
| | mean | 4.172-8.663=-4.491 | | σ | 0.145-0.520=-0.376 | | min | 3.933-7.850=-3.917 | | max | 4.301-9.087=-4.786 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.390-5001.058=-2930.668 | | σ | 0.011-0.197=-0.186 | | min | 2070.381-5000.826=-2930.446 | | max | 2070.406-5001.224=-2930.818 |
| | mean | 1845.200-2961.200=-1116.000 | | σ | 195.302-255.007=-59.706 | | min | 1626.000-2640.000=-1014.000 | | max | 2092.000-3302.000=-1210.000 |
| | mean | 4.499-9.568=-5.069 | | σ | 0.050-0.203=-0.152 | | min | 4.448-9.294=-4.847 | | max | 4.583-9.766=-5.184 |
|