iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.197=-0.001 | | σ | 0.004-0.006=-0.002 | | min | 277.191-277.190=0.001 | | max | 277.200-277.204=-0.004 |
| | mean | 2662.000-2663.000=-1.000 | | σ | 0.000 | | min | 2662.000-2663.000=-1.000 | | max | 2662.000-2663.000=-1.000 |
| | mean | 0.400-0.401=-0.001 | | σ | 0.001-0.001=0.000 | | min | 0.399-0.400=-0.001 | | max | 0.402-0.402=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.446-2174.427=0.019 | | σ | 0.020-0.015=0.006 | | min | 2174.427-2174.405=0.022 | | max | 2174.479-2174.439=0.040 |
| | mean | 2662.000-2663.000=-1.000 | | σ | 0.000 | | min | 2662.000-2663.000=-1.000 | | max | 2662.000-2663.000=-1.000 |
| | mean | 2.929-3.037=-0.107 | | σ | 0.126-0.235=-0.109 | | min | 2.787-2.754=0.033 | | max | 3.042-3.408=-0.366 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.595-5052.594=0.001 | | σ | 0.974-0.919=0.055 | | min | 5052.030-5051.988=0.043 | | max | 5054.330-5054.198=0.132 |
| | mean | 2662.000-2663.000=-1.000 | | σ | 0.000 | | min | 2662.000-2663.000=-1.000 | | max | 2662.000-2663.000=-1.000 |
| | mean | 8.790-8.788=0.002 | | σ | 0.499-0.545=-0.046 | | min | 8.283-8.070=0.213 | | max | 9.562-9.406=0.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.429-5188.429=-0.000 | | σ | 0.093-0.083=0.010 | | min | 5188.358-5188.360=-0.002 | | max | 5188.534-5188.529=0.005 |
| | mean | 3232.600-3287.400=-54.800 | | σ | 364.611-424.555=-59.944 | | min | 2704.000-2688.000=16.000 | | max | 3687.000-3678.000=9.000 |
| | mean | 9.015-8.948=0.067 | | σ | 0.371-0.237=0.135 | | min | 8.702-8.655=0.047 | | max | 9.620-9.307=0.313 |
|