iters=5 new-facts=1 prior-facts=1 | | mean | 270.518-270.514=0.004 | | σ | 0.006-0.006=-0.000 | | min | 270.510-270.507=0.003 | | max | 270.524-270.519=0.005 |
| | mean | 2858.000-2769.000=89.000 | | σ | 0.000 | | min | 2858.000-2769.000=89.000 | | max | 2858.000-2769.000=89.000 |
| | mean | 0.391-0.383=0.008 | | σ | 0.014-0.010=0.004 | | min | 0.377-0.375=0.002 | | max | 0.411-0.396=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.940-1930.947=-0.006 | | σ | 0.011-0.003=0.008 | | min | 1930.922-1930.944=-0.022 | | max | 1930.949-1930.952=-0.004 |
| | mean | 2858.000-2769.000=89.000 | | σ | 0.000 | | min | 2858.000-2769.000=89.000 | | max | 2858.000-2769.000=89.000 |
| | mean | 2.977-2.965=0.012 | | σ | 0.059-0.224=-0.165 | | min | 2.874-2.603=0.271 | | max | 3.022-3.179=-0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.635-4751.324=0.310 | | σ | 0.921-0.793=0.128 | | min | 4751.147-4750.734=0.413 | | max | 4753.278-4752.701=0.577 |
| | mean | 2858.000-2769.000=89.000 | | σ | 0.000 | | min | 2858.000-2769.000=89.000 | | max | 2858.000-2769.000=89.000 |
| | mean | 8.921-8.477=0.444 | | σ | 0.259-0.720=-0.462 | | min | 8.676-7.545=1.131 | | max | 9.358-9.215=0.143 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.001-4942.069=-0.067 | | σ | 0.186-0.155=0.032 | | min | 4941.794-4941.794=0.000 | | max | 4942.167-4942.154=0.013 |
| | mean | 3018.400-3033.800=-15.400 | | σ | 184.263-323.556=-139.293 | | min | 2858.000-2769.000=89.000 | | max | 3308.000-3520.000=-212.000 |
| | mean | 8.619-8.496=0.123 | | σ | 0.271-0.141=0.130 | | min | 8.367-8.322=0.045 | | max | 9.073-8.655=0.418 |
|