iters=5 new-facts=1 prior-facts=1 | | mean | 278.717-190.715=88.002 | | σ | 0.006-0.007=-0.000 | | min | 278.710-190.706=88.004 | | max | 278.724-190.721=88.002 |
| | mean | 2603.000-2619.000=-16.000 | | σ | 0.000 | | min | 2603.000-2619.000=-16.000 | | max | 2603.000-2619.000=-16.000 |
| | mean | 0.419-0.281=0.138 | | σ | 0.001-0.001=0.000 | | min | 0.418-0.280=0.137 | | max | 0.420-0.282=0.138 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.888-1989.502=279.386 | | σ | 0.007-0.008=-0.001 | | min | 2268.877-1989.490=279.386 | | max | 2268.894-1989.513=279.381 |
| | mean | 2603.000-2619.000=-16.000 | | σ | 0.000 | | min | 2603.000-2619.000=-16.000 | | max | 2603.000-2619.000=-16.000 |
| | mean | 2.995-2.588=0.407 | | σ | 0.184-0.142=0.042 | | min | 2.805-2.375=0.430 | | max | 3.301-2.740=0.561 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.254-4880.082=72.173 | | σ | 0.986-0.602=0.384 | | min | 4951.286-4879.736=71.550 | | max | 4953.923-4881.150=72.773 |
| | mean | 2603.000-2619.000=-16.000 | | σ | 0.000 | | min | 2603.000-2619.000=-16.000 | | max | 2603.000-2619.000=-16.000 |
| | mean | 8.075-8.202=-0.127 | | σ | 0.285-0.149=0.136 | | min | 7.831-8.044=-0.213 | | max | 8.540-8.441=0.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.095-4891.546=275.549 | | σ | 0.009-0.272=-0.263 | | min | 5167.082-4891.254=275.828 | | max | 5167.105-4891.795=275.310 |
| | mean | 3353.400-3306.600=46.800 | | σ | 449.576-513.372=-63.796 | | min | 2831.000-2619.000=212.000 | | max | 4009.000-3784.000=225.000 |
| | mean | 9.339-8.211=1.128 | | σ | 0.364-0.175=0.189 | | min | 9.026-8.033=0.993 | | max | 9.904-8.467=1.438 |
|