iters=5 new-facts=1 prior-facts=1 | | mean | 324.733-324.740=-0.007 | | σ | 0.056-0.040=0.016 | | min | 324.635-324.669=-0.034 | | max | 324.775-324.762=0.013 |
| | mean | 2826.000-2419.000=407.000 | | σ | 0.000 | | min | 2826.000-2419.000=407.000 | | max | 2826.000-2419.000=407.000 |
| | mean | 0.424-0.423=0.001 | | σ | 0.002-0.002=0.000 | | min | 0.422-0.422=0.000 | | max | 0.426-0.425=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.293-1985.295=-0.003 | | σ | 0.013-0.012=0.001 | | min | 1985.277-1985.273=0.003 | | max | 1985.308-1985.304=0.003 |
| | mean | 2826.000-2419.000=407.000 | | σ | 0.000 | | min | 2826.000-2419.000=407.000 | | max | 2826.000-2419.000=407.000 |
| | mean | 2.629-2.644=-0.016 | | σ | 0.105-0.111=-0.006 | | min | 2.542-2.533=0.009 | | max | 2.763-2.762=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.930-4808.672=0.258 | | σ | 7.625-7.807=-0.183 | | min | 4805.424-4804.417=1.007 | | max | 4822.568-4822.615=-0.047 |
| | mean | 2826.000-2419.000=407.000 | | σ | 0.000 | | min | 2826.000-2419.000=407.000 | | max | 2826.000-2419.000=407.000 |
| | mean | 8.923-8.589=0.334 | | σ | 0.447-0.552=-0.104 | | min | 8.257-7.740=0.516 | | max | 9.505-9.141=0.363 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.358-4996.506=-0.148 | | σ | 0.335-0.025=0.310 | | min | 4995.760-4996.472=-0.712 | | max | 4996.525-4996.529=-0.004 |
| | mean | 3056.000-2913.600=142.400 | | σ | 301.025-380.133=-79.108 | | min | 2826.000-2423.000=403.000 | | max | 3518.000-3408.000=110.000 |
| | mean | 8.468-8.562=-0.094 | | σ | 0.063-0.160=-0.097 | | min | 8.413-8.418=-0.005 | | max | 8.565-8.748=-0.183 |
|