iters=5 new-facts=1 prior-facts=1 | | mean | 266.785-275.754=-8.969 | | σ | 0.004-0.010=-0.005 | | min | 266.781-275.743=-8.962 | | max | 266.792-275.765=-8.973 |
| | mean | 2474.000-2513.000=-39.000 | | σ | 0.000 | | min | 2474.000-2513.000=-39.000 | | max | 2474.000-2513.000=-39.000 |
| | mean | 0.373-0.392=-0.019 | | σ | 0.002-0.006=-0.004 | | min | 0.371-0.387=-0.016 | | max | 0.375-0.400=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.204-2168.271=-241.066 | | σ | 0.012-0.011=0.001 | | min | 1927.185-2168.258=-241.073 | | max | 1927.219-2168.285=-241.066 |
| | mean | 2474.000-2513.000=-39.000 | | σ | 0.000 | | min | 2474.000-2513.000=-39.000 | | max | 2474.000-2513.000=-39.000 |
| | mean | 3.056-2.858=0.198 | | σ | 0.095-0.097=-0.002 | | min | 2.960-2.773=0.187 | | max | 3.186-2.971=0.215 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.767-5048.110=-300.343 | | σ | 0.785-0.958=-0.173 | | min | 4747.357-5047.533=-300.176 | | max | 4749.163-5049.814=-300.651 |
| | mean | 2474.000-2513.000=-39.000 | | σ | 0.000 | | min | 2474.000-2513.000=-39.000 | | max | 2474.000-2513.000=-39.000 |
| | mean | 8.165-8.847=-0.683 | | σ | 0.425-0.561=-0.136 | | min | 7.861-8.007=-0.146 | | max | 8.911-9.468=-0.557 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.171-5179.237=-241.066 | | σ | 0.083-0.091=-0.008 | | min | 4938.106-5179.158=-241.052 | | max | 4938.264-5179.345=-241.081 |
| | mean | 2939.800-3268.400=-328.600 | | σ | 389.762-508.844=-119.082 | | min | 2474.000-2647.000=-173.000 | | max | 3466.000-3955.000=-489.000 |
| | mean | 8.473-10.027=-1.555 | | σ | 0.162-0.110=0.053 | | min | 8.329-9.932=-1.603 | | max | 8.717-10.178=-1.461 |
|