iters=5 new-facts=1 prior-facts=1 | | mean | 324.725-324.734=-0.009 | | σ | 0.037-0.056=-0.019 | | min | 324.659-324.635=0.024 | | max | 324.751-324.770=-0.019 |
| | mean | 2773.000-2843.000=-70.000 | | σ | 0.000 | | min | 2773.000-2843.000=-70.000 | | max | 2773.000-2843.000=-70.000 |
| | mean | 0.425-0.429=-0.004 | | σ | 0.002-0.007=-0.005 | | min | 0.423-0.422=0.001 | | max | 0.428-0.440=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.285-1985.292=-0.007 | | σ | 0.008-0.019=-0.011 | | min | 1985.273-1985.258=0.015 | | max | 1985.293-1985.305=-0.012 |
| | mean | 2773.000-2843.000=-70.000 | | σ | 0.000 | | min | 2773.000-2843.000=-70.000 | | max | 2773.000-2843.000=-70.000 |
| | mean | 2.629-2.667=-0.038 | | σ | 0.098-0.131=-0.032 | | min | 2.551-2.516=0.036 | | max | 2.764-2.844=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.777-4808.789=-0.012 | | σ | 7.442-7.452=-0.010 | | min | 4805.412-4805.427=-0.016 | | max | 4822.090-4822.120=-0.030 |
| | mean | 2773.000-2843.000=-70.000 | | σ | 0.000 | | min | 2773.000-2843.000=-70.000 | | max | 2773.000-2843.000=-70.000 |
| | mean | 8.977-8.923=0.054 | | σ | 0.119-0.113=0.006 | | min | 8.828-8.774=0.054 | | max | 9.126-9.088=0.037 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485-4996.490=-0.006 | | σ | 0.022-0.018=0.005 | | min | 4996.460-4996.473=-0.013 | | max | 4996.510-4996.519=-0.009 |
| | mean | 3033.600-3066.000=-32.400 | | σ | 203.962-299.803=-95.842 | | min | 2773.000-2843.000=-70.000 | | max | 3309.000-3533.000=-224.000 |
| | mean | 8.627-8.587=0.040 | | σ | 0.140-0.122=0.018 | | min | 8.485-8.524=-0.039 | | max | 8.786-8.805=-0.020 |
|