iters=5 new-facts=1 prior-facts=1 | | mean | 270.608-270.608=-0.001 | | σ | 0.004-0.004=0.000 | | min | 270.601-270.604=-0.003 | | max | 270.611-270.613=-0.001 |
| | mean | 2764.000-2772.000=-8.000 | | σ | 0.000 | | min | 2764.000-2772.000=-8.000 | | max | 2764.000-2772.000=-8.000 |
| | mean | 0.378-0.378=0.000 | | σ | 0.001-0.001=0.000 | | min | 0.377-0.377=-0.000 | | max | 0.379-0.378=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.044-1931.040=0.004 | | σ | 0.011-0.008=0.003 | | min | 1931.032-1931.034=-0.001 | | max | 1931.061-1931.053=0.008 |
| | mean | 2764.000-2772.000=-8.000 | | σ | 0.000 | | min | 2764.000-2772.000=-8.000 | | max | 2764.000-2772.000=-8.000 |
| | mean | 3.014-2.988=0.026 | | σ | 0.148-0.157=-0.009 | | min | 2.827-2.739=0.088 | | max | 3.192-3.132=0.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.604-4751.795=-0.191 | | σ | 1.009-0.890=0.119 | | min | 4750.807-4751.250=-0.442 | | max | 4753.372-4753.376=-0.004 |
| | mean | 2764.000-2772.000=-8.000 | | σ | 0.000 | | min | 2764.000-2772.000=-8.000 | | max | 2764.000-2772.000=-8.000 |
| | mean | 8.778-8.527=0.251 | | σ | 0.552-0.397=0.154 | | min | 7.823-7.975=-0.152 | | max | 9.172-9.052=0.120 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.161-4942.095=0.066 | | σ | 0.167-0.194=-0.027 | | min | 4941.863-4941.869=-0.006 | | max | 4942.255-4942.254=0.001 |
| | mean | 3050.800-3045.600=5.200 | | σ | 274.494-234.934=39.561 | | min | 2764.000-2772.000=-8.000 | | max | 3432.000-3373.000=59.000 |
| | mean | 8.604-8.557=0.047 | | σ | 0.161-0.164=-0.002 | | min | 8.366-8.387=-0.022 | | max | 8.812-8.806=0.006 |
|