iters=5 new-facts=1 prior-facts=1 | | mean | 270.236-270.237=-0.001 | | σ | 0.006-0.008=-0.002 | | min | 270.226-270.227=-0.001 | | max | 270.242-270.249=-0.007 |
| | mean | 2663.000-2815.000=-152.000 | | σ | 0.000 | | min | 2663.000-2815.000=-152.000 | | max | 2663.000-2815.000=-152.000 |
| | mean | 0.380-0.379=0.000 | | σ | 0.004-0.007=-0.003 | | min | 0.375-0.372=0.003 | | max | 0.386-0.386=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.698-1930.689=0.010 | | σ | 0.010-0.021=-0.012 | | min | 1930.689-1930.662=0.027 | | max | 1930.709-1930.707=0.002 |
| | mean | 2663.000-2815.000=-152.000 | | σ | 0.000 | | min | 2663.000-2815.000=-152.000 | | max | 2663.000-2815.000=-152.000 |
| | mean | 2.568-2.512=0.056 | | σ | 0.110-0.198=-0.088 | | min | 2.474-2.303=0.172 | | max | 2.718-2.839=-0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.158-4751.340=-0.182 | | σ | 1.162-0.923=0.239 | | min | 4749.782-4750.515=-0.733 | | max | 4753.001-4752.900=0.101 |
| | mean | 2663.000-2815.000=-152.000 | | σ | 0.000 | | min | 2663.000-2815.000=-152.000 | | max | 2663.000-2815.000=-152.000 |
| | mean | 8.580-8.321=0.259 | | σ | 0.542-0.669=-0.127 | | min | 7.794-7.680=0.115 | | max | 9.004-9.400=-0.396 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.866-4941.801=0.066 | | σ | 0.017-0.146=-0.130 | | min | 4941.843-4941.540=0.303 | | max | 4941.883-4941.875=0.009 |
| | mean | 3026.600-3005.800=20.800 | | σ | 300.548-206.124=94.423 | | min | 2663.000-2815.000=-152.000 | | max | 3425.000-3313.000=112.000 |
| | mean | 8.524-8.634=-0.110 | | σ | 0.112-0.147=-0.035 | | min | 8.400-8.510=-0.110 | | max | 8.662-8.870=-0.208 |
|