iters=5 new-facts=1 prior-facts=1 | | mean | 286.818-303.784=-16.966 | | σ | 0.036-0.047=-0.010 | | min | 286.771-303.708=-16.937 | | max | 286.854-303.829=-16.975 |
| | mean | 1617.000-1628.000=-11.000 | | σ | 0.000 | | min | 1617.000-1628.000=-11.000 | | max | 1617.000-1628.000=-11.000 |
| | mean | 0.394-0.393=0.001 | | σ | 0.006-0.001=0.005 | | min | 0.388-0.391=-0.003 | | max | 0.402-0.394=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.285-1326.349=-29.065 | | σ | 0.087-0.108=-0.022 | | min | 1297.180-1326.233=-29.053 | | max | 1297.410-1326.515=-29.105 |
| | mean | 1617.000-1628.000=-11.000 | | σ | 0.000 | | min | 1617.000-1628.000=-11.000 | | max | 1617.000-1628.000=-11.000 |
| | mean | 2.237-2.056=0.182 | | σ | 0.092-0.193=-0.101 | | min | 2.081-1.848=0.233 | | max | 2.315-2.245=0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.335-1564.485=-23.150 | | σ | 6.821-6.829=-0.008 | | min | 1538.112-1561.309=-23.197 | | max | 1553.534-1576.699=-23.165 |
| | mean | 1617.000-1628.000=-11.000 | | σ | 0.000 | | min | 1617.000-1628.000=-11.000 | | max | 1617.000-1628.000=-11.000 |
| | mean | 2.219-2.421=-0.202 | | σ | 0.098-0.151=-0.053 | | min | 2.129-2.235=-0.106 | | max | 2.381-2.617=-0.236 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114-1894.280=-35.165 | | σ | 0.062-0.068=-0.007 | | min | 1859.032-1894.164=-35.131 | | max | 1859.184-1894.342=-35.158 |
| | mean | 1774.800-1788.200=-13.400 | | σ | 161.159-167.691=-6.532 | | min | 1617.000-1628.000=-11.000 | | max | 1939.000-1962.000=-23.000 |
| | mean | 2.962-3.112=-0.150 | | σ | 0.104-0.165=-0.061 | | min | 2.852-2.886=-0.034 | | max | 3.069-3.311=-0.242 |
|