iters=5 new-facts=1 prior-facts=1 | | mean | 280.070-280.286=-0.216 | | σ | 0.016-0.010=0.006 | | min | 280.050-280.273=-0.224 | | max | 280.093-280.300=-0.208 |
| | mean | 2658.000-2779.000=-121.000 | | σ | 0.000 | | min | 2658.000-2779.000=-121.000 | | max | 2658.000-2779.000=-121.000 |
| | mean | 0.415-0.410=0.004 | | σ | 0.004-0.002=0.002 | | min | 0.410-0.408=0.002 | | max | 0.419-0.412=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.157-2270.319=-0.162 | | σ | 0.012-0.025=-0.013 | | min | 2270.138-2270.287=-0.149 | | max | 2270.170-2270.355=-0.185 |
| | mean | 2658.000-2779.000=-121.000 | | σ | 0.000 | | min | 2658.000-2779.000=-121.000 | | max | 2658.000-2779.000=-121.000 |
| | mean | 3.547-3.210=0.336 | | σ | 0.140-0.320=-0.180 | | min | 3.427-2.861=0.566 | | max | 3.778-3.643=0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5139.001-5147.357=-8.356 | | σ | 1.057-1.169=-0.112 | | min | 5137.939-5146.539=-8.600 | | max | 5140.780-5149.381=-8.601 |
| | mean | 2658.000-2779.000=-121.000 | | σ | 0.000 | | min | 2658.000-2779.000=-121.000 | | max | 2658.000-2779.000=-121.000 |
| | mean | 8.576-8.759=-0.183 | | σ | 0.418-0.626=-0.208 | | min | 8.146-8.157=-0.012 | | max | 9.039-9.629=-0.590 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5277.153-5285.582=-8.429 | | σ | 0.125-0.220=-0.095 | | min | 5276.974-5285.224=-8.250 | | max | 5277.324-5285.765=-8.440 |
| | mean | 3482.800-3448.200=34.600 | | σ | 529.530-414.639=114.890 | | min | 2773.000-2836.000=-63.000 | | max | 3984.000-3918.000=66.000 |
| | mean | 10.222-10.083=0.139 | | σ | 0.434-0.326=0.108 | | min | 9.616-9.617=-0.001 | | max | 10.836-10.508=0.328 |
|