iters=5 new-facts=1 prior-facts=1 | | mean | 303.787-303.796=-0.009 | | σ | 0.053-0.047=0.006 | | min | 303.710-303.727=-0.018 | | max | 303.844-303.852=-0.008 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 0.394-0.397=-0.003 | | σ | 0.007-0.008=-0.001 | | min | 0.389-0.391=-0.002 | | max | 0.407-0.411=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.324-1326.325=-0.001 | | σ | 0.101-0.114=-0.013 | | min | 1326.195-1326.188=0.007 | | max | 1326.456-1326.443=0.012 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 1.949-1.921=0.028 | | σ | 0.131-0.092=0.039 | | min | 1.831-1.821=0.009 | | max | 2.156-2.029=0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.400-1564.384=0.016 | | σ | 6.938-6.907=0.031 | | min | 1561.110-1561.077=0.033 | | max | 1576.807-1576.734=0.073 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 2.413-2.264=0.148 | | σ | 0.420-0.223=0.197 | | min | 2.066-2.013=0.053 | | max | 3.013-2.563=0.451 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.273-1894.275=-0.002 | | σ | 0.068-0.062=0.006 | | min | 1894.153-1894.167=-0.014 | | max | 1894.315-1894.313=0.003 |
| | mean | 1780.000-1764.400=15.600 | | σ | 180.993-194.774=-13.781 | | min | 1632.000-1612.000=20.000 | | max | 2064.000-2068.000=-4.000 |
| | mean | 2.966-2.978=-0.012 | | σ | 0.084-0.168=-0.083 | | min | 2.889-2.847=0.042 | | max | 3.068-3.267=-0.199 |
|