iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-278.696=0.818 | | σ | 0.007-0.013=-0.006 | | min | 279.504-278.684=0.820 | | max | 279.520-278.718=0.802 |
| | mean | 2745.000-2604.000=141.000 | | σ | 0.000 | | min | 2745.000-2604.000=141.000 | | max | 2745.000-2604.000=141.000 |
| | mean | 0.418-0.418=0.000 | | σ | 0.005-0.004=0.002 | | min | 0.412-0.416=-0.003 | | max | 0.425-0.425=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.399-2268.872=-90.473 | | σ | 0.045-0.004=0.041 | | min | 2178.345-2268.868=-90.523 | | max | 2178.450-2268.877=-90.427 |
| | mean | 2745.000-2604.000=141.000 | | σ | 0.000 | | min | 2745.000-2604.000=141.000 | | max | 2745.000-2604.000=141.000 |
| | mean | 3.386-2.954=0.432 | | σ | 0.208-0.121=0.087 | | min | 3.103-2.875=0.228 | | max | 3.650-3.165=0.486 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.384-4952.326=104.058 | | σ | 1.011-0.864=0.147 | | min | 5055.808-4951.869=103.939 | | max | 5058.181-4953.867=104.313 |
| | mean | 2745.000-2604.000=141.000 | | σ | 0.000 | | min | 2745.000-2604.000=141.000 | | max | 2745.000-2604.000=141.000 |
| | mean | 9.111-8.128=0.983 | | σ | 0.570-0.291=0.279 | | min | 8.375-7.696=0.679 | | max | 9.714-8.407=1.307 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.742-5167.006=26.736 | | σ | 0.100-0.160=-0.061 | | min | 5193.636-5166.720=26.917 | | max | 5193.852-5167.091=26.762 |
| | mean | 3232.800-3407.000=-174.200 | | σ | 466.038-464.641=1.397 | | min | 2745.000-2752.000=-7.000 | | max | 3873.000-3972.000=-99.000 |
| | mean | 8.754-9.290=-0.536 | | σ | 0.124-0.104=0.020 | | min | 8.676-9.125=-0.449 | | max | 8.972-9.386=-0.414 |
|