iters=5 new-facts=1 prior-facts=1 | | mean | 279.071-282.191=-3.120 | | σ | 0.011-0.008=0.003 | | min | 279.060-282.183=-3.123 | | max | 279.084-282.200=-3.115 |
| | mean | 2506.000-2695.000=-189.000 | | σ | 0.000 | | min | 2506.000-2695.000=-189.000 | | max | 2506.000-2695.000=-189.000 |
| | mean | 0.388-0.399=-0.012 | | σ | 0.002-0.003=-0.001 | | min | 0.386-0.397=-0.011 | | max | 0.390-0.405=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.513-2174.719=-235.206 | | σ | 0.008-0.011=-0.003 | | min | 1939.501-2174.706=-235.206 | | max | 1939.520-2174.736=-235.217 |
| | mean | 2506.000-2695.000=-189.000 | | σ | 0.000 | | min | 2506.000-2695.000=-189.000 | | max | 2506.000-2695.000=-189.000 |
| | mean | 3.086-3.053=0.034 | | σ | 0.104-0.217=-0.113 | | min | 3.008-2.763=0.245 | | max | 3.228-3.241=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.063-5054.545=-294.482 | | σ | 0.849-0.942=-0.093 | | min | 4759.590-5054.070=-294.480 | | max | 4761.571-5056.228=-294.657 |
| | mean | 2506.000-2695.000=-189.000 | | σ | 0.000 | | min | 2506.000-2695.000=-189.000 | | max | 2506.000-2695.000=-189.000 |
| | mean | 8.643-8.819=-0.176 | | σ | 0.759-0.589=0.170 | | min | 7.676-8.046=-0.370 | | max | 9.513-9.475=0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.469-5185.608=-235.139 | | σ | 0.086-0.208=-0.122 | | min | 4950.404-5185.266=-234.862 | | max | 4950.563-5185.783=-235.220 |
| | mean | 3037.800-3219.200=-181.400 | | σ | 300.734-374.444=-73.709 | | min | 2616.000-2695.000=-79.000 | | max | 3418.000-3687.000=-269.000 |
| | mean | 8.611-9.985=-1.374 | | σ | 0.192-0.335=-0.143 | | min | 8.316-9.592=-1.276 | | max | 8.789-10.423=-1.633 |
|