iters=5 new-facts=1 prior-facts=1 | | mean | 282.192-282.195=-0.003 | | σ | 0.006-0.013=-0.006 | | min | 282.186-282.184=0.001 | | max | 282.199-282.212=-0.013 |
| | mean | 2636.000-2507.000=129.000 | | σ | 0.000 | | min | 2636.000-2507.000=129.000 | | max | 2636.000-2507.000=129.000 |
| | mean | 0.399-0.403=-0.004 | | σ | 0.004-0.009=-0.005 | | min | 0.396-0.396=-0.000 | | max | 0.406-0.417=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.718-2174.714=0.004 | | σ | 0.008-0.009=-0.001 | | min | 2174.709-2174.708=0.001 | | max | 2174.728-2174.728=0.000 |
| | mean | 2636.000-2507.000=129.000 | | σ | 0.000 | | min | 2636.000-2507.000=129.000 | | max | 2636.000-2507.000=129.000 |
| | mean | 2.907-2.936=-0.029 | | σ | 0.187-0.095=0.092 | | min | 2.775-2.787=-0.011 | | max | 3.220-3.019=0.201 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.604-5054.444=0.160 | | σ | 0.910-1.055=-0.146 | | min | 5054.112-5053.678=0.435 | | max | 5056.226-5056.302=-0.076 |
| | mean | 2636.000-2507.000=129.000 | | σ | 0.000 | | min | 2636.000-2507.000=129.000 | | max | 2636.000-2507.000=129.000 |
| | mean | 8.442-9.025=-0.583 | | σ | 0.526-0.656=-0.130 | | min | 8.074-8.069=0.006 | | max | 9.366-9.747=-0.381 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.675-5185.607=0.068 | | σ | 0.085-0.205=-0.120 | | min | 5185.595-5185.265=0.330 | | max | 5185.781-5185.786=-0.005 |
| | mean | 3218.600-3228.600=-10.000 | | σ | 468.504-384.561=83.943 | | min | 2636.000-2711.000=-75.000 | | max | 3808.000-3736.000=72.000 |
| | mean | 10.177-9.956=0.220 | | σ | 0.373-0.369=0.004 | | min | 9.927-9.336=0.591 | | max | 10.803-10.299=0.503 |
|