iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.195=-1.627 | | σ | 0.007-0.006=0.001 | | min | 275.557-277.187=-1.630 | | max | 275.575-277.203=-1.628 |
| | mean | 2844.000-2630.000=214.000 | | σ | 0.000 | | min | 2844.000-2630.000=214.000 | | max | 2844.000-2630.000=214.000 |
| | mean | 0.404-0.397=0.007 | | σ | 0.007-0.007=-0.000 | | min | 0.397-0.391=0.006 | | max | 0.411-0.409=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2174.418=-6.317 | | σ | 0.010-0.038=-0.028 | | min | 2168.089-2174.353=-6.265 | | max | 2168.113-2174.452=-6.339 |
| | mean | 2844.000-2630.000=214.000 | | σ | 0.000 | | min | 2844.000-2630.000=214.000 | | max | 2844.000-2630.000=214.000 |
| | mean | 3.050-3.095=-0.044 | | σ | 0.172-0.313=-0.141 | | min | 2.811-2.776=0.035 | | max | 3.223-3.585=-0.362 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888-5052.635=-4.747 | | σ | 0.878-0.988=-0.110 | | min | 5047.414-5052.041=-4.627 | | max | 5049.450-5054.390=-4.940 |
| | mean | 2844.000-2630.000=214.000 | | σ | 0.000 | | min | 2844.000-2630.000=214.000 | | max | 2844.000-2630.000=214.000 |
| | mean | 8.830-8.708=0.121 | | σ | 0.374-0.590=-0.215 | | min | 8.214-8.260=-0.045 | | max | 9.122-9.660=-0.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908-5188.358=-9.449 | | σ | 0.263-0.121=0.142 | | min | 5178.625-5188.174=-9.549 | | max | 5179.149-5188.515=-9.366 |
| | mean | 3250.600-3288.600=-38.000 | | σ | 328.141-417.183=-89.041 | | min | 2844.000-2706.000=138.000 | | max | 3695.000-3675.000=20.000 |
| | mean | 9.855-9.040=0.815 | | σ | 0.323-0.503=-0.180 | | min | 9.463-8.711=0.752 | | max | 10.222-9.933=0.289 |
|