iters=5 new-facts=1 prior-facts=1 | | mean | 279.508-279.515=-0.007 | | σ | 0.005-0.011=-0.006 | | min | 279.503-279.503=-0.000 | | max | 279.515-279.526=-0.011 |
| | mean | 2804.000-2704.000=100.000 | | σ | 0.000 | | min | 2804.000-2704.000=100.000 | | max | 2804.000-2704.000=100.000 |
| | mean | 0.407-0.411=-0.004 | | σ | 0.006-0.005=0.000 | | min | 0.404-0.406=-0.003 | | max | 0.418-0.420=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.446-2178.446=0.001 | | σ | 0.011-0.022=-0.011 | | min | 2178.434-2178.419=0.015 | | max | 2178.462-2178.475=-0.013 |
| | mean | 2804.000-2704.000=100.000 | | σ | 0.000 | | min | 2804.000-2704.000=100.000 | | max | 2804.000-2704.000=100.000 |
| | mean | 3.388-3.239=0.150 | | σ | 0.139-0.253=-0.114 | | min | 3.208-2.941=0.267 | | max | 3.552-3.588=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.280-5056.157=0.123 | | σ | 1.110-1.203=-0.094 | | min | 5055.164-5054.864=0.300 | | max | 5058.139-5058.132=0.007 |
| | mean | 2804.000-2704.000=100.000 | | σ | 0.000 | | min | 2804.000-2704.000=100.000 | | max | 2804.000-2704.000=100.000 |
| | mean | 9.269-9.247=0.022 | | σ | 0.651-0.566=0.085 | | min | 8.234-8.271=-0.037 | | max | 10.000-9.689=0.311 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.690-5193.755=-0.065 | | σ | 0.204-0.091=0.113 | | min | 5193.353-5193.683=-0.330 | | max | 5193.864-5193.857=0.007 |
| | mean | 3247.400-3287.400=-40.000 | | σ | 319.959-393.841=-73.882 | | min | 2804.000-2735.000=69.000 | | max | 3676.000-3657.000=19.000 |
| | mean | 9.155-9.006=0.149 | | σ | 0.432-0.257=0.175 | | min | 8.726-8.752=-0.026 | | max | 9.694-9.426=0.268 |
|