iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.673=0.002 | | σ | 0.014-0.012=0.002 | | min | 278.661-278.656=0.005 | | max | 278.694-278.687=0.008 |
| | mean | 2666.000-2605.000=61.000 | | σ | 0.000 | | min | 2666.000-2605.000=61.000 | | max | 2666.000-2605.000=61.000 |
| | mean | 0.419-0.417=0.002 | | σ | 0.003-0.002=0.001 | | min | 0.416-0.414=0.001 | | max | 0.422-0.420=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.833-2268.843=-0.010 | | σ | 0.018-0.012=0.007 | | min | 2268.809-2268.825=-0.016 | | max | 2268.848-2268.854=-0.006 |
| | mean | 2666.000-2605.000=61.000 | | σ | 0.000 | | min | 2666.000-2605.000=61.000 | | max | 2666.000-2605.000=61.000 |
| | mean | 3.103-3.107=-0.004 | | σ | 0.136-0.329=-0.193 | | min | 2.918-2.889=0.029 | | max | 3.298-3.659=-0.361 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.125-4952.124=0.001 | | σ | 0.857-0.917=-0.060 | | min | 4951.202-4951.200=0.002 | | max | 4953.533-4953.664=-0.131 |
| | mean | 2666.000-2605.000=61.000 | | σ | 0.000 | | min | 2666.000-2605.000=61.000 | | max | 2666.000-2605.000=61.000 |
| | mean | 7.788-7.975=-0.187 | | σ | 0.163-0.200=-0.037 | | min | 7.602-7.728=-0.126 | | max | 7.989-8.202=-0.213 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.892-5166.956=-0.064 | | σ | 0.201-0.077=0.124 | | min | 5166.568-5166.893=-0.325 | | max | 5167.078-5167.041=0.037 |
| | mean | 3360.400-3388.400=-28.000 | | σ | 423.257-453.676=-30.419 | | min | 2944.000-2803.000=141.000 | | max | 3790.000-4031.000=-241.000 |
| | mean | 9.501-9.317=0.184 | | σ | 0.574-0.267=0.307 | | min | 8.965-9.025=-0.061 | | max | 10.431-9.639=0.792 |
|