iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-278.818=0.694 | | σ | 0.007-0.006=0.001 | | min | 279.503-278.809=0.694 | | max | 279.517-278.823=0.695 |
| | mean | 2746.000-2617.000=129.000 | | σ | 0.000 | | min | 2746.000-2617.000=129.000 | | max | 2746.000-2617.000=129.000 |
| | mean | 0.409-0.413=-0.004 | | σ | 0.002-0.006=-0.005 | | min | 0.405-0.407=-0.002 | | max | 0.410-0.423=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2268.878=-90.460 | | σ | 0.034-0.008=0.026 | | min | 2178.359-2268.866=-90.507 | | max | 2178.443-2268.889=-90.446 |
| | mean | 2746.000-2617.000=129.000 | | σ | 0.000 | | min | 2746.000-2617.000=129.000 | | max | 2746.000-2617.000=129.000 |
| | mean | 3.432-2.973=0.459 | | σ | 0.172-0.116=0.056 | | min | 3.271-2.881=0.390 | | max | 3.620-3.163=0.457 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.392-4954.197=102.195 | | σ | 1.004-0.863=0.140 | | min | 5055.790-4953.693=102.097 | | max | 5058.177-4955.735=102.442 |
| | mean | 2746.000-2617.000=129.000 | | σ | 0.000 | | min | 2746.000-2617.000=129.000 | | max | 2746.000-2617.000=129.000 |
| | mean | 8.715-8.272=0.443 | | σ | 0.657-0.217=0.441 | | min | 8.163-7.939=0.224 | | max | 9.736-8.490=1.246 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.689-5168.720=24.969 | | σ | 0.212-0.195=0.017 | | min | 5193.338-5168.397=24.941 | | max | 5193.874-5168.878=24.997 |
| | mean | 3285.800-3442.400=-156.600 | | σ | 404.146-463.570=-59.424 | | min | 2746.000-2867.000=-121.000 | | max | 3673.000-4114.000=-441.000 |
| | mean | 8.832-9.277=-0.445 | | σ | 0.095-0.126=-0.031 | | min | 8.705-9.142=-0.436 | | max | 8.970-9.442=-0.471 |
|