iters=5 new-facts=1 prior-facts=1 | | mean | 279.515-279.510=0.005 | | σ | 0.011-0.005=0.006 | | min | 279.503-279.503=-0.000 | | max | 279.526-279.514=0.012 |
| | mean | 2704.000-2810.000=-106.000 | | σ | 0.000 | | min | 2704.000-2810.000=-106.000 | | max | 2704.000-2810.000=-106.000 |
| | mean | 0.411-0.408=0.003 | | σ | 0.005-0.003=0.003 | | min | 0.406-0.403=0.003 | | max | 0.420-0.411=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.446-2178.450=-0.004 | | σ | 0.022-0.015=0.007 | | min | 2178.419-2178.433=-0.014 | | max | 2178.475-2178.473=0.002 |
| | mean | 2704.000-2810.000=-106.000 | | σ | 0.000 | | min | 2704.000-2810.000=-106.000 | | max | 2704.000-2810.000=-106.000 |
| | mean | 3.239-3.381=-0.142 | | σ | 0.253-0.284=-0.031 | | min | 2.941-2.906=0.035 | | max | 3.588-3.590=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.157-5056.396=-0.240 | | σ | 1.203-1.025=0.179 | | min | 5054.864-5055.788=-0.924 | | max | 5058.132-5058.220=-0.088 |
| | mean | 2704.000-2810.000=-106.000 | | σ | 0.000 | | min | 2704.000-2810.000=-106.000 | | max | 2704.000-2810.000=-106.000 |
| | mean | 9.247-8.752=0.495 | | σ | 0.566-0.729=-0.163 | | min | 8.271-8.115=0.156 | | max | 9.689-9.922=-0.233 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.755-5193.668=0.086 | | σ | 0.091-0.248=-0.156 | | min | 5193.683-5193.254=0.429 | | max | 5193.857-5193.862=-0.005 |
| | mean | 3287.400-3305.600=-18.200 | | σ | 393.841-380.056=13.785 | | min | 2735.000-2810.000=-75.000 | | max | 3657.000-3668.000=-11.000 |
| | mean | 9.006-9.087=-0.081 | | σ | 0.257-0.393=-0.136 | | min | 8.752-8.793=-0.040 | | max | 9.426-9.762=-0.337 |
|