iters=5 new-facts=1 prior-facts=1 | | mean | 272.788-272.757=0.032 | | σ | 0.006-0.006=0.000 | | min | 272.781-272.750=0.031 | | max | 272.794-272.764=0.031 |
| | mean | 2757.000-2779.000=-22.000 | | σ | 0.000 | | min | 2757.000-2779.000=-22.000 | | max | 2757.000-2779.000=-22.000 |
| | mean | 0.382-0.383=-0.001 | | σ | 0.008-0.008=0.000 | | min | 0.377-0.378=-0.002 | | max | 0.395-0.397=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.230-1933.168=0.062 | | σ | 0.004-0.015=-0.011 | | min | 1933.227-1933.145=0.082 | | max | 1933.238-1933.181=0.057 |
| | mean | 2757.000-2779.000=-22.000 | | σ | 0.000 | | min | 2757.000-2779.000=-22.000 | | max | 2757.000-2779.000=-22.000 |
| | mean | 3.044-3.057=-0.014 | | σ | 0.348-0.054=0.295 | | min | 2.735-3.019=-0.283 | | max | 3.593-3.152=0.441 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.641-4756.923=-0.281 | | σ | 7.438-7.561=-0.123 | | min | 4752.497-4753.485=-0.987 | | max | 4769.918-4770.449=-0.530 |
| | mean | 2757.000-2779.000=-22.000 | | σ | 0.000 | | min | 2757.000-2779.000=-22.000 | | max | 2757.000-2779.000=-22.000 |
| | mean | 8.405-8.436=-0.031 | | σ | 0.362-0.400=-0.038 | | min | 7.982-7.837=0.145 | | max | 8.919-8.909=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.461-4944.325=0.136 | | σ | 0.020-0.146=-0.126 | | min | 4944.433-4944.065=0.369 | | max | 4944.477-4944.406=0.071 |
| | mean | 3041.800-3038.200=3.600 | | σ | 272.668-315.303=-42.635 | | min | 2757.000-2779.000=-22.000 | | max | 3422.000-3512.000=-90.000 |
| | mean | 8.483-8.496=-0.012 | | σ | 0.112-0.114=-0.002 | | min | 8.366-8.414=-0.047 | | max | 8.624-8.690=-0.066 |
|