iters=5 new-facts=1 prior-facts=1 | | mean | 326.439-324.775=1.664 | | σ | 0.059-0.031=0.029 | | min | 326.334-324.720=1.614 | | max | 326.474-324.792=1.681 |
| | mean | 2612.000-2753.000=-141.000 | | σ | 0.000 | | min | 2612.000-2753.000=-141.000 | | max | 2612.000-2753.000=-141.000 |
| | mean | 0.425-0.433=-0.008 | | σ | 0.000-0.019=-0.019 | | min | 0.424-0.421=0.003 | | max | 0.425-0.466=-0.041 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.610-1985.323=3.287 | | σ | 0.010-0.008=0.002 | | min | 1988.592-1985.313=3.279 | | max | 1988.618-1985.333=3.284 |
| | mean | 2612.000-2753.000=-141.000 | | σ | 0.000 | | min | 2612.000-2753.000=-141.000 | | max | 2612.000-2753.000=-141.000 |
| | mean | 2.688-2.625=0.062 | | σ | 0.065-0.126=-0.061 | | min | 2.624-2.475=0.148 | | max | 2.775-2.776=-0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.140-4808.869=4.271 | | σ | 7.575-7.823=-0.248 | | min | 4809.395-4804.649=4.746 | | max | 4826.675-4822.844=3.832 |
| | mean | 2612.000-2753.000=-141.000 | | σ | 0.000 | | min | 2612.000-2753.000=-141.000 | | max | 2612.000-2753.000=-141.000 |
| | mean | 8.883-8.557=0.326 | | σ | 0.446-0.533=-0.087 | | min | 8.406-7.885=0.521 | | max | 9.578-9.099=0.479 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018-4996.620=4.398 | | σ | 0.040-0.022=0.018 | | min | 5000.977-4996.599=4.378 | | max | 5001.075-4996.648=4.427 |
| | mean | 2998.000-3035.400=-37.400 | | σ | 280.275-338.637=-58.363 | | min | 2612.000-2753.000=-141.000 | | max | 3312.000-3537.000=-225.000 |
| | mean | 9.831-8.536=1.295 | | σ | 0.268-0.137=0.131 | | min | 9.475-8.418=1.057 | | max | 10.176-8.742=1.433 |
|