iters=5 new-facts=1 prior-facts=1 | | mean | 282.192-282.192=0.000 | | σ | 0.011-0.006=0.004 | | min | 282.181-282.186=-0.004 | | max | 282.207-282.199=0.008 |
| | mean | 2666.000-2636.000=30.000 | | σ | 0.000 | | min | 2666.000-2636.000=30.000 | | max | 2666.000-2636.000=30.000 |
| | mean | 0.406-0.399=0.007 | | σ | 0.011-0.004=0.007 | | min | 0.395-0.396=-0.002 | | max | 0.418-0.406=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.724-2174.718=0.006 | | σ | 0.007-0.008=-0.001 | | min | 2174.713-2174.709=0.004 | | max | 2174.729-2174.728=0.001 |
| | mean | 2666.000-2636.000=30.000 | | σ | 0.000 | | min | 2666.000-2636.000=30.000 | | max | 2666.000-2636.000=30.000 |
| | mean | 3.053-2.907=0.146 | | σ | 0.265-0.187=0.078 | | min | 2.792-2.775=0.017 | | max | 3.455-3.220=0.235 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.544-5054.604=-0.059 | | σ | 0.952-0.910=0.042 | | min | 5054.013-5054.112=-0.100 | | max | 5056.238-5056.226=0.012 |
| | mean | 2666.000-2636.000=30.000 | | σ | 0.000 | | min | 2666.000-2636.000=30.000 | | max | 2666.000-2636.000=30.000 |
| | mean | 9.013-8.442=0.571 | | σ | 0.422-0.526=-0.104 | | min | 8.389-8.074=0.314 | | max | 9.453-9.366=0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.680-5185.675=0.005 | | σ | 0.078-0.085=-0.007 | | min | 5185.610-5185.595=0.015 | | max | 5185.776-5185.781=-0.005 |
| | mean | 3230.200-3218.600=11.600 | | σ | 388.540-468.504=-79.964 | | min | 2690.000-2636.000=54.000 | | max | 3720.000-3808.000=-88.000 |
| | mean | 10.061-10.177=-0.116 | | σ | 0.167-0.373=-0.206 | | min | 9.840-9.927=-0.087 | | max | 10.293-10.803=-0.510 |
|