iters=5 new-facts=1 prior-facts=1 | | mean | 279.508-279.540=-0.033 | | σ | 0.005-0.008=-0.003 | | min | 279.500-279.527=-0.027 | | max | 279.512-279.545=-0.033 |
| | mean | 2744.000-2796.000=-52.000 | | σ | 0.000 | | min | 2744.000-2796.000=-52.000 | | max | 2744.000-2796.000=-52.000 |
| | mean | 0.408-0.404=0.004 | | σ | 0.005-0.005=0.000 | | min | 0.403-0.400=0.003 | | max | 0.416-0.412=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442-2178.442=0.000 | | σ | 0.009-0.034=-0.026 | | min | 2178.428-2178.394=0.034 | | max | 2178.449-2178.476=-0.026 |
| | mean | 2744.000-2796.000=-52.000 | | σ | 0.000 | | min | 2744.000-2796.000=-52.000 | | max | 2744.000-2796.000=-52.000 |
| | mean | 3.088-3.535=-0.446 | | σ | 0.271-0.326=-0.055 | | min | 2.713-3.243=-0.530 | | max | 3.443-4.066=-0.622 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.396-5056.299=0.097 | | σ | 0.870-1.098=-0.228 | | min | 5055.926-5055.252=0.674 | | max | 5057.948-5058.167=-0.218 |
| | mean | 2744.000-2796.000=-52.000 | | σ | 0.000 | | min | 2744.000-2796.000=-52.000 | | max | 2744.000-2796.000=-52.000 |
| | mean | 9.076-8.983=0.093 | | σ | 0.489-0.721=-0.231 | | min | 8.603-8.163=0.440 | | max | 9.719-9.849=-0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.753-5193.721=0.032 | | σ | 0.090-0.124=-0.034 | | min | 5193.682-5193.538=0.143 | | max | 5193.859-5193.886=-0.028 |
| | mean | 3268.600-3304.400=-35.800 | | σ | 454.206-408.747=45.459 | | min | 2744.000-2796.000=-52.000 | | max | 3851.000-3706.000=145.000 |
| | mean | 8.917-8.966=-0.049 | | σ | 0.518-0.316=0.202 | | min | 8.582-8.671=-0.089 | | max | 9.820-9.354=0.466 |
|