iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-267.614=7.953 | | σ | 0.002-17.779=-17.777 | | min | 275.564-235.810=39.754 | | max | 275.569-275.570=-0.000 |
| | mean | 2638.000-2769.000=-131.000 | | σ | 0.000 | | min | 2638.000-2769.000=-131.000 | | max | 2638.000-2769.000=-131.000 |
| | mean | 0.389-0.380=0.009 | | σ | 0.009-0.031=-0.022 | | min | 0.382-0.326=0.056 | | max | 0.400-0.399=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.097-2168.085=0.012 | | σ | 0.012-0.015=-0.003 | | min | 2168.076-2168.067=0.009 | | max | 2168.104-2168.103=0.001 |
| | mean | 2638.000-2769.000=-131.000 | | σ | 0.000 | | min | 2638.000-2769.000=-131.000 | | max | 2638.000-2769.000=-131.000 |
| | mean | 3.015-2.935=0.081 | | σ | 0.212-0.097=0.115 | | min | 2.773-2.810=-0.038 | | max | 3.291-3.053=0.239 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.801-5047.909=-0.108 | | σ | 1.022-0.878=0.145 | | min | 5046.917-5047.334=-0.417 | | max | 5049.567-5049.444=0.123 |
| | mean | 2638.000-2769.000=-131.000 | | σ | 0.000 | | min | 2638.000-2769.000=-131.000 | | max | 2638.000-2769.000=-131.000 |
| | mean | 8.754-8.903=-0.148 | | σ | 0.600-0.507=0.093 | | min | 7.988-8.196=-0.207 | | max | 9.278-9.405=-0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.971-5178.975=-0.004 | | σ | 0.194-0.200=-0.006 | | min | 5178.659-5178.651=0.009 | | max | 5179.136-5179.159=-0.023 |
| | mean | 3218.800-3302.400=-83.600 | | σ | 382.868-394.037=-11.169 | | min | 2678.000-2769.000=-91.000 | | max | 3695.000-3674.000=21.000 |
| | mean | 9.823-9.873=-0.050 | | σ | 0.244-0.212=0.032 | | min | 9.488-9.534=-0.046 | | max | 10.032-10.106=-0.074 |
|