iters=5 new-facts=1 prior-facts=1 | | mean | 269.929-269.933=-0.003 | | σ | 0.009-0.005=0.004 | | min | 269.920-269.926=-0.006 | | max | 269.944-269.939=0.005 |
| | mean | 2848.000-2851.000=-3.000 | | σ | 0.000 | | min | 2848.000-2851.000=-3.000 | | max | 2848.000-2851.000=-3.000 |
| | mean | 0.372-0.379=-0.007 | | σ | 0.004-0.013=-0.009 | | min | 0.368-0.369=-0.001 | | max | 0.378-0.396=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.396-1930.401=-0.004 | | σ | 0.009-0.008=0.001 | | min | 1930.384-1930.389=-0.005 | | max | 1930.407-1930.409=-0.003 |
| | mean | 2848.000-2851.000=-3.000 | | σ | 0.000 | | min | 2848.000-2851.000=-3.000 | | max | 2848.000-2851.000=-3.000 |
| | mean | 2.549-2.558=-0.009 | | σ | 0.124-0.121=0.003 | | min | 2.435-2.447=-0.012 | | max | 2.706-2.718=-0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.653-4750.771=-0.118 | | σ | 0.360-0.992=-0.632 | | min | 4750.422-4749.778=0.644 | | max | 4751.290-4752.439=-1.148 |
| | mean | 2848.000-2851.000=-3.000 | | σ | 0.000 | | min | 2848.000-2851.000=-3.000 | | max | 2848.000-2851.000=-3.000 |
| | mean | 8.656-8.444=0.212 | | σ | 0.589-0.539=0.051 | | min | 7.767-7.657=0.109 | | max | 9.327-9.073=0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.262-4941.330=-0.068 | | σ | 0.206-0.087=0.119 | | min | 4940.923-4941.253=-0.330 | | max | 4941.436-4941.428=0.008 |
| | mean | 3057.600-3045.600=12.000 | | σ | 225.435-201.896=23.539 | | min | 2848.000-2851.000=-3.000 | | max | 3392.000-3332.000=60.000 |
| | mean | 8.501-8.473=0.028 | | σ | 0.110-0.123=-0.013 | | min | 8.367-8.358=0.009 | | max | 8.666-8.637=0.029 |
|