iters=5 new-facts=1 prior-facts=1 | | mean | 277.713-190.719=86.994 | | σ | 0.007-0.006=0.001 | | min | 277.703-190.713=86.990 | | max | 277.721-190.729=86.992 |
| | mean | 2692.000-2628.000=64.000 | | σ | 0.000 | | min | 2692.000-2628.000=64.000 | | max | 2692.000-2628.000=64.000 |
| | mean | 0.412-0.280=0.131 | | σ | 0.000-0.001=-0.001 | | min | 0.411-0.279=0.132 | | max | 0.412-0.281=0.131 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-1989.492=278.394 | | σ | 0.006-0.013=-0.007 | | min | 2267.879-1989.481=278.397 | | max | 2267.895-1989.513=278.382 |
| | mean | 2692.000-2628.000=64.000 | | σ | 0.000 | | min | 2692.000-2628.000=64.000 | | max | 2692.000-2628.000=64.000 |
| | mean | 2.955-2.441=0.515 | | σ | 0.021-0.082=-0.061 | | min | 2.932-2.358=0.574 | | max | 2.974-2.578=0.396 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.929-4880.064=74.865 | | σ | 0.845-0.559=0.286 | | min | 4954.231-4879.653=74.579 | | max | 4956.385-4881.033=75.352 |
| | mean | 2692.000-2628.000=64.000 | | σ | 0.000 | | min | 2692.000-2628.000=64.000 | | max | 2692.000-2628.000=64.000 |
| | mean | 7.913-8.122=-0.210 | | σ | 0.201-0.401=-0.199 | | min | 7.725-7.718=0.007 | | max | 8.246-8.763=-0.517 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.696-4891.701=277.996 | | σ | 0.127-0.091=0.036 | | min | 5169.497-4891.617=277.880 | | max | 5169.849-4891.800=278.050 |
| | mean | 3402.600-3354.000=48.600 | | σ | 453.714-460.426=-6.712 | | min | 2819.000-2789.000=30.000 | | max | 4010.000-4016.000=-6.000 |
| | mean | 9.711-8.182=1.530 | | σ | 0.486-0.125=0.361 | | min | 9.366-8.031=1.335 | | max | 10.537-8.295=2.242 |
|