iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-266.778=3.154 | | σ | 0.007-0.007=0.000 | | min | 269.924-266.766=3.158 | | max | 269.943-266.784=3.159 |
| | mean | 2493.000-2480.000=13.000 | | σ | 0.000 | | min | 2493.000-2480.000=13.000 | | max | 2493.000-2480.000=13.000 |
| | mean | 0.371-0.364=0.007 | | σ | 0.005-0.001=0.004 | | min | 0.369-0.363=0.006 | | max | 0.380-0.366=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.388-1927.223=3.165 | | σ | 0.017-0.019=-0.002 | | min | 1930.363-1927.205=3.158 | | max | 1930.407-1927.250=3.157 |
| | mean | 2493.000-2480.000=13.000 | | σ | 0.000 | | min | 2493.000-2480.000=13.000 | | max | 2493.000-2480.000=13.000 |
| | mean | 2.554-2.938=-0.384 | | σ | 0.164-0.154=0.010 | | min | 2.444-2.702=-0.258 | | max | 2.844-3.101=-0.258 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.855-4747.616=3.239 | | σ | 0.810-0.961=-0.151 | | min | 4750.263-4746.747=3.516 | | max | 4752.271-4749.255=3.016 |
| | mean | 2493.000-2480.000=13.000 | | σ | 0.000 | | min | 2493.000-2480.000=13.000 | | max | 2493.000-2480.000=13.000 |
| | mean | 8.589-8.455=0.134 | | σ | 0.340-0.537=-0.196 | | min | 8.264-7.849=0.415 | | max | 9.125-9.141=-0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332-4938.178=3.154 | | σ | 0.087-0.081=0.007 | | min | 4941.253-4938.099=3.154 | | max | 4941.430-4938.267=3.163 |
| | mean | 2991.000-2940.000=51.000 | | σ | 283.603-383.782=-100.180 | | min | 2603.000-2480.000=123.000 | | max | 3326.000-3457.000=-131.000 |
| | mean | 8.527-8.464=0.063 | | σ | 0.181-0.163=0.018 | | min | 8.357-8.316=0.041 | | max | 8.734-8.674=0.061 |
|