iters=5 new-facts=1 prior-facts=1 | | mean | 279.513-279.512=0.000 | | σ | 0.004-0.008=-0.004 | | min | 279.507-279.504=0.003 | | max | 279.516-279.519=-0.003 |
| | mean | 2745.000-2765.000=-20.000 | | σ | 0.000 | | min | 2745.000-2765.000=-20.000 | | max | 2745.000-2765.000=-20.000 |
| | mean | 0.411-0.411=-0.000 | | σ | 0.005-0.007=-0.002 | | min | 0.407-0.405=0.002 | | max | 0.417-0.421=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442-2178.428=0.014 | | σ | 0.012-0.014=-0.002 | | min | 2178.433-2178.410=0.024 | | max | 2178.462-2178.439=0.023 |
| | mean | 2745.000-2765.000=-20.000 | | σ | 0.000 | | min | 2745.000-2765.000=-20.000 | | max | 2745.000-2765.000=-20.000 |
| | mean | 3.449-3.400=0.049 | | σ | 0.172-0.279=-0.107 | | min | 3.294-3.082=0.212 | | max | 3.692-3.749=-0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.377-5056.410=-0.032 | | σ | 0.967-1.040=-0.073 | | min | 5055.796-5055.774=0.022 | | max | 5058.097-5058.259=-0.162 |
| | mean | 2745.000-2765.000=-20.000 | | σ | 0.000 | | min | 2745.000-2765.000=-20.000 | | max | 2745.000-2765.000=-20.000 |
| | mean | 8.622-8.985=-0.363 | | σ | 0.510-0.803=-0.293 | | min | 8.136-8.122=0.014 | | max | 9.336-10.091=-0.755 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.758-5193.751=0.007 | | σ | 0.093-0.087=0.006 | | min | 5193.682-5193.679=0.003 | | max | 5193.863-5193.847=0.016 |
| | mean | 3276.400-3214.600=61.800 | | σ | 389.458-440.895=-51.437 | | min | 2745.000-2765.000=-20.000 | | max | 3646.000-3829.000=-183.000 |
| | mean | 8.921-8.798=0.123 | | σ | 0.206-0.121=0.085 | | min | 8.720-8.715=0.006 | | max | 9.164-9.003=0.160 |
|