iters=5 new-facts=1 prior-facts=1 | | mean | 275.562-275.566=-0.004 | | σ | 0.006-0.004=0.002 | | min | 275.555-275.559=-0.004 | | max | 275.570-275.569=0.001 |
| | mean | 2809.000-2643.000=166.000 | | σ | 0.000 | | min | 2809.000-2643.000=166.000 | | max | 2809.000-2643.000=166.000 |
| | mean | 0.404-0.392=0.012 | | σ | 0.008-0.007=0.001 | | min | 0.395-0.387=0.008 | | max | 0.414-0.401=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.102=-0.011 | | σ | 0.006-0.009=-0.003 | | min | 2168.082-2168.089=-0.007 | | max | 2168.097-2168.114=-0.018 |
| | mean | 2809.000-2643.000=166.000 | | σ | 0.000 | | min | 2809.000-2643.000=166.000 | | max | 2809.000-2643.000=166.000 |
| | mean | 2.950-2.830=0.120 | | σ | 0.157-0.119=0.038 | | min | 2.745-2.680=0.065 | | max | 3.154-2.969=0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.670-5047.894=-0.223 | | σ | 1.043-0.908=0.135 | | min | 5046.954-5047.374=-0.420 | | max | 5049.492-5049.507=-0.015 |
| | mean | 2809.000-2643.000=166.000 | | σ | 0.000 | | min | 2809.000-2643.000=166.000 | | max | 2809.000-2643.000=166.000 |
| | mean | 8.796-8.850=-0.054 | | σ | 0.503-0.452=0.050 | | min | 8.010-8.084=-0.074 | | max | 9.302-9.284=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.972-5179.027=-0.054 | | σ | 0.216-0.087=0.129 | | min | 5178.612-5178.942=-0.330 | | max | 5179.141-5179.123=0.017 |
| | mean | 3241.200-3207.600=33.600 | | σ | 347.134-485.494=-138.360 | | min | 2809.000-2643.000=166.000 | | max | 3702.000-3864.000=-162.000 |
| | mean | 10.003-9.609=0.394 | | σ | 0.261-0.610=-0.349 | | min | 9.640-8.635=1.005 | | max | 10.373-10.197=0.176 |
|