iters=5 new-facts=1 prior-facts=1 | | mean | 269.381-274.366=-4.985 | | σ | 0.006-0.003=0.003 | | min | 269.375-274.363=-4.988 | | max | 269.389-274.369=-4.980 |
| | mean | 2774.000-2462.000=312.000 | | σ | 0.000 | | min | 2774.000-2462.000=312.000 | | max | 2774.000-2462.000=312.000 |
| | mean | 0.378-0.386=-0.008 | | σ | 0.004-0.005=-0.001 | | min | 0.374-0.383=-0.009 | | max | 0.384-0.394=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.752-1934.751=-4.999 | | σ | 0.008-0.008=0.000 | | min | 1929.746-1934.742=-4.996 | | max | 1929.766-1934.759=-4.993 |
| | mean | 2774.000-2462.000=312.000 | | σ | 0.000 | | min | 2774.000-2462.000=312.000 | | max | 2774.000-2462.000=312.000 |
| | mean | 3.051-3.055=-0.004 | | σ | 0.137-0.057=0.079 | | min | 2.857-3.001=-0.144 | | max | 3.226-3.135=0.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.526-4755.500=-4.974 | | σ | 0.837-0.914=-0.077 | | min | 4750.025-4754.950=-4.925 | | max | 4752.014-4757.128=-5.114 |
| | mean | 2774.000-2462.000=312.000 | | σ | 0.000 | | min | 2774.000-2462.000=312.000 | | max | 2774.000-2462.000=312.000 |
| | mean | 8.328-8.675=-0.347 | | σ | 0.469-0.506=-0.037 | | min | 7.664-7.941=-0.277 | | max | 8.962-9.259=-0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.983-4945.982=-4.999 | | σ | 0.020-0.019=0.001 | | min | 4940.949-4945.962=-5.013 | | max | 4941.000-4946.007=-5.007 |
| | mean | 3035.200-2986.200=49.000 | | σ | 259.901-260.942=-1.041 | | min | 2774.000-2633.000=141.000 | | max | 3400.000-3297.000=103.000 |
| | mean | 8.538-8.544=-0.006 | | σ | 0.138-0.132=0.006 | | min | 8.384-8.420=-0.037 | | max | 8.669-8.744=-0.074 |
|