iters=5 new-facts=1 prior-facts=1 | | mean | 326.572-326.570=0.003 | | σ | 0.051-0.058=-0.007 | | min | 326.484-326.468=0.015 | | max | 326.610-326.615=-0.005 |
| | mean | 2838.000-2839.000=-1.000 | | σ | 0.000 | | min | 2838.000-2839.000=-1.000 | | max | 2838.000-2839.000=-1.000 |
| | mean | 0.422-0.424=-0.002 | | σ | 0.002-0.004=-0.002 | | min | 0.419-0.421=-0.002 | | max | 0.424-0.432=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.742-1988.738=0.003 | | σ | 0.006-0.012=-0.006 | | min | 1988.732-1988.723=0.008 | | max | 1988.748-1988.752=-0.004 |
| | mean | 2838.000-2839.000=-1.000 | | σ | 0.000 | | min | 2838.000-2839.000=-1.000 | | max | 2838.000-2839.000=-1.000 |
| | mean | 2.754-2.719=0.034 | | σ | 0.175-0.136=0.039 | | min | 2.656-2.601=0.055 | | max | 3.066-2.946=0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.602-4813.608=-0.006 | | σ | 7.724-7.681=0.043 | | min | 4810.044-4810.073=-0.029 | | max | 4827.418-4827.347=0.071 |
| | mean | 2838.000-2839.000=-1.000 | | σ | 0.000 | | min | 2838.000-2839.000=-1.000 | | max | 2838.000-2839.000=-1.000 |
| | mean | 8.470-8.618=-0.148 | | σ | 0.430-0.491=-0.060 | | min | 8.083-7.846=0.237 | | max | 9.165-9.211=-0.046 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.052-5001.092=-0.040 | | σ | 0.164-0.157=0.007 | | min | 5000.761-5000.813=-0.052 | | max | 5001.142-5001.177=-0.035 |
| | mean | 3068.600-3052.600=16.000 | | σ | 314.593-188.520=126.073 | | min | 2838.000-2839.000=-1.000 | | max | 3558.000-3320.000=238.000 |
| | mean | 9.690-10.096=-0.406 | | σ | 0.236-0.300=-0.064 | | min | 9.302-9.669=-0.366 | | max | 9.914-10.449=-0.535 |
|