iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.824=-0.002 | | σ | 0.003-0.007=-0.004 | | min | 278.819-278.812=0.007 | | max | 278.827-278.831=-0.004 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 0.408-0.412=-0.004 | | σ | 0.001-0.004=-0.003 | | min | 0.407-0.407=-0.000 | | max | 0.410-0.419=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.876-2268.887=-0.011 | | σ | 0.013-0.007=0.007 | | min | 2268.864-2268.878=-0.014 | | max | 2268.896-2268.893=0.003 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 3.175-2.946=0.229 | | σ | 0.136-0.092=0.044 | | min | 3.036-2.881=0.156 | | max | 3.393-3.105=0.288 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4787.958-4954.156=-166.197 | | σ | 372.128-0.594=371.534 | | min | 4122.277-4953.836=-831.559 | | max | 4955.891-4955.215=0.676 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 7.753-7.947=-0.194 | | σ | 0.545-0.239=0.306 | | min | 6.880-7.708=-0.828 | | max | 8.358-8.342=0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.823-5168.826=-0.003 | | σ | 0.090-0.092=-0.002 | | min | 5168.718-5168.722=-0.004 | | max | 5168.891-5168.908=-0.017 |
| | mean | 3259.600-3363.200=-103.600 | | σ | 403.560-467.063=-63.504 | | min | 2853.000-2736.000=117.000 | | max | 3660.000-3969.000=-309.000 |
| | mean | 9.164-9.089=0.075 | | σ | 0.351-0.492=-0.142 | | min | 8.551-8.412=0.138 | | max | 9.378-9.562=-0.184 |
|