iters=5 new-facts=1 prior-facts=1 | | mean | 279.498-278.696=0.802 | | σ | 0.016-0.013=0.003 | | min | 279.480-278.684=0.796 | | max | 279.514-278.718=0.796 |
| | mean | 2760.000-2604.000=156.000 | | σ | 0.000 | | min | 2760.000-2604.000=156.000 | | max | 2760.000-2604.000=156.000 |
| | mean | 0.410-0.418=-0.008 | | σ | 0.002-0.004=-0.001 | | min | 0.407-0.416=-0.009 | | max | 0.414-0.425=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.423-2268.872=-90.450 | | σ | 0.032-0.004=0.028 | | min | 2178.378-2268.868=-90.490 | | max | 2178.465-2268.877=-90.412 |
| | mean | 2760.000-2604.000=156.000 | | σ | 0.000 | | min | 2760.000-2604.000=156.000 | | max | 2760.000-2604.000=156.000 |
| | mean | 3.432-2.954=0.478 | | σ | 0.087-0.121=-0.034 | | min | 3.291-2.875=0.416 | | max | 3.517-3.165=0.353 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.380-4952.326=104.054 | | σ | 0.979-0.864=0.115 | | min | 5055.815-4951.869=103.946 | | max | 5058.125-4953.867=104.257 |
| | mean | 2760.000-2604.000=156.000 | | σ | 0.000 | | min | 2760.000-2604.000=156.000 | | max | 2760.000-2604.000=156.000 |
| | mean | 8.860-8.128=0.732 | | σ | 0.612-0.291=0.322 | | min | 8.061-7.696=0.364 | | max | 9.556-8.407=1.149 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.747-5167.006=26.741 | | σ | 0.101-0.160=-0.059 | | min | 5193.641-5166.720=26.921 | | max | 5193.857-5167.091=26.767 |
| | mean | 3296.000-3407.000=-111.000 | | σ | 400.590-464.641=-64.051 | | min | 2760.000-2752.000=8.000 | | max | 3680.000-3972.000=-292.000 |
| | mean | 8.879-9.290=-0.411 | | σ | 0.169-0.104=0.066 | | min | 8.611-9.125=-0.514 | | max | 9.049-9.386=-0.337 |
|