iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.823=-0.004 | | σ | 0.037-0.040=-0.003 | | min | 286.767-286.767=-0.000 | | max | 286.859-286.866=-0.007 |
| | mean | 1618.000-1643.000=-25.000 | | σ | 0.000 | | min | 1618.000-1643.000=-25.000 | | max | 1618.000-1643.000=-25.000 |
| | mean | 0.398-0.395=0.003 | | σ | 0.007-0.006=0.001 | | min | 0.390-0.388=0.003 | | max | 0.404-0.400=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259-1297.286=-0.026 | | σ | 0.102-0.086=0.016 | | min | 1297.110-1297.182=-0.072 | | max | 1297.381-1297.410=-0.028 |
| | mean | 1618.000-1643.000=-25.000 | | σ | 0.000 | | min | 1618.000-1643.000=-25.000 | | max | 1618.000-1643.000=-25.000 |
| | mean | 2.211-2.240=-0.030 | | σ | 0.065-0.040=0.025 | | min | 2.149-2.188=-0.039 | | max | 2.293-2.295=-0.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.374-1541.338=0.036 | | σ | 6.802-6.817=-0.015 | | min | 1538.220-1538.122=0.099 | | max | 1553.541-1553.530=0.011 |
| | mean | 1618.000-1643.000=-25.000 | | σ | 0.000 | | min | 1618.000-1643.000=-25.000 | | max | 1618.000-1643.000=-25.000 |
| | mean | 2.328-2.214=0.114 | | σ | 0.247-0.079=0.168 | | min | 2.158-2.125=0.033 | | max | 2.739-2.339=0.401 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.111-1859.119=-0.008 | | σ | 0.066-0.069=-0.003 | | min | 1859.034-1859.033=0.001 | | max | 1859.186-1859.199=-0.012 |
| | mean | 1766.400-1791.200=-24.800 | | σ | 152.775-154.545=-1.770 | | min | 1618.000-1643.000=-25.000 | | max | 1923.000-1951.000=-28.000 |
| | mean | 3.034-2.938=0.096 | | σ | 0.223-0.103=0.120 | | min | 2.745-2.815=-0.070 | | max | 3.251-3.039=0.211 |
|