iters=5 new-facts=1 prior-facts=1 | | mean | 273.404-275.753=-2.350 | | σ | 0.012-0.010=0.002 | | min | 273.387-275.742=-2.355 | | max | 273.421-275.765=-2.344 |
| | 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.389-0.397=-0.008 | | σ | 0.009-0.010=-0.001 | | min | 0.379-0.388=-0.009 | | max | 0.400-0.409=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.849-2168.279=-234.430 | | σ | 0.011-0.013=-0.002 | | min | 1933.834-2168.260=-234.427 | | max | 1933.863-2168.294=-234.431 |
| | 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.078-2.944=0.134 | | σ | 0.084-0.130=-0.046 | | min | 3.003-2.753=0.250 | | max | 3.185-3.099=0.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.236-5048.102=-293.866 | | σ | 0.631-0.905=-0.274 | | min | 4753.742-5047.542=-293.800 | | max | 4755.341-5049.710=-294.368 |
| | 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.621-8.780=-0.159 | | σ | 0.553-0.429=0.124 | | min | 7.702-8.114=-0.412 | | max | 9.122-9.262=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.803-5179.239=-234.436 | | σ | 0.085-0.083=0.003 | | min | 4944.731-5179.155=-234.424 | | max | 4944.899-5179.343=-234.444 |
| | mean | 2969.800-3263.800=-294.000 | | σ | 344.039-379.904=-35.865 | | min | 2526.000-2732.000=-206.000 | | max | 3299.000-3733.000=-434.000 |
| | mean | 8.622-9.907=-1.285 | | σ | 0.145-0.262=-0.117 | | min | 8.433-9.499=-1.066 | | max | 8.820-10.119=-1.300 |
|