iters=5 new-facts=1 prior-facts=1 | | mean | 286.827-286.827=-0.000 | | σ | 0.040-0.038=0.002 | | min | 286.774-286.777=-0.003 | | max | 286.872-286.864=0.008 |
| | mean | 1616.000-1645.000=-29.000 | | σ | 0.000 | | min | 1616.000-1645.000=-29.000 | | max | 1616.000-1645.000=-29.000 |
| | mean | 0.397-0.394=0.003 | | σ | 0.005-0.008=-0.002 | | min | 0.389-0.385=0.004 | | max | 0.402-0.401=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.260-1297.268=-0.008 | | σ | 0.102-0.099=0.003 | | min | 1297.105-1297.134=-0.029 | | max | 1297.373-1297.401=-0.027 |
| | mean | 1616.000-1645.000=-29.000 | | σ | 0.000 | | min | 1616.000-1645.000=-29.000 | | max | 1616.000-1645.000=-29.000 |
| | mean | 2.190-2.233=-0.043 | | σ | 0.112-0.047=0.065 | | min | 2.051-2.170=-0.119 | | max | 2.361-2.280=0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.378-1541.371=0.007 | | σ | 6.799-6.808=-0.009 | | min | 1538.229-1538.192=0.037 | | max | 1553.539-1553.547=-0.008 |
| | mean | 1616.000-1645.000=-29.000 | | σ | 0.000 | | min | 1616.000-1645.000=-29.000 | | max | 1616.000-1645.000=-29.000 |
| | mean | 2.332-2.331=0.001 | | σ | 0.246-0.211=0.035 | | min | 2.171-2.166=0.005 | | max | 2.750-2.647=0.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.115-1859.115=0.000 | | σ | 0.068-0.067=0.001 | | min | 1859.033-1859.029=0.004 | | max | 1859.191-1859.192=-0.002 |
| | mean | 1780.600-1777.400=3.200 | | σ | 162.889-139.781=23.108 | | min | 1616.000-1645.000=-29.000 | | max | 1946.000-1923.000=23.000 |
| | mean | 2.939-3.051=-0.113 | | σ | 0.203-0.155=0.048 | | min | 2.732-2.852=-0.120 | | max | 3.245-3.214=0.031 |
|