iters=5 new-facts=1 prior-facts=1 | | mean | 274.827-277.196=-2.368 | | σ | 0.007-0.004=0.003 | | min | 274.818-277.191=-2.373 | | max | 274.834-277.200=-2.366 |
| | mean | 2633.000-2429.000=204.000 | | σ | 0.000 | | min | 2633.000-2429.000=204.000 | | max | 2633.000-2429.000=204.000 |
| | mean | 0.391-0.399=-0.008 | | σ | 0.010-0.009=0.001 | | min | 0.383-0.393=-0.009 | | max | 0.404-0.410=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1940.003-2174.432=-234.429 | | σ | 0.011-0.027=-0.016 | | min | 1939.994-2174.392=-234.398 | | max | 1940.018-2174.463=-234.445 |
| | mean | 2633.000-2429.000=204.000 | | σ | 0.000 | | min | 2633.000-2429.000=204.000 | | max | 2633.000-2429.000=204.000 |
| | mean | 3.077-2.920=0.158 | | σ | 0.098-0.270=-0.172 | | min | 2.956-2.691=0.265 | | max | 3.190-3.359=-0.169 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4758.870-5052.612=-293.742 | | σ | 0.909-1.028=-0.119 | | min | 4758.329-5052.072=-293.742 | | max | 4760.484-5054.444=-293.960 |
| | mean | 2633.000-2429.000=204.000 | | σ | 0.000 | | min | 2633.000-2429.000=204.000 | | max | 2633.000-2429.000=204.000 |
| | mean | 8.156-9.148=-0.991 | | σ | 0.698-0.687=0.012 | | min | 7.670-8.144=-0.474 | | max | 9.368-9.996=-0.628 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4953.913-5188.422=-234.509 | | σ | 0.202-0.093=0.109 | | min | 4953.577-5188.351=-234.774 | | max | 4954.071-5188.529=-234.458 |
| | mean | 2982.400-3192.200=-209.800 | | σ | 377.836-485.079=-107.243 | | min | 2633.000-2604.000=29.000 | | max | 3520.000-3837.000=-317.000 |
| | mean | 8.471-8.894=-0.423 | | σ | 0.162-0.210=-0.048 | | min | 8.371-8.669=-0.298 | | max | 8.754-9.128=-0.374 |
|