iters=5 new-facts=1 prior-facts=1 | | mean | 285.410-324.690=-39.279 | | σ | 0.011-0.051=-0.041 | | min | 285.392-324.599=-39.207 | | max | 285.417-324.720=-39.303 |
| | mean | 1639.000-2843.000=-1204.000 | | σ | 0.000 | | min | 1639.000-2843.000=-1204.000 | | max | 1639.000-2843.000=-1204.000 |
| | mean | 0.377-0.424=-0.047 | | σ | 0.004-0.003=0.001 | | min | 0.375-0.421=-0.047 | | max | 0.383-0.429=-0.045 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.372-1985.257=-699.885 | | σ | 0.128-0.005=0.123 | | min | 1285.305-1985.251=-699.946 | | max | 1285.601-1985.263=-699.662 |
| | mean | 1639.000-2843.000=-1204.000 | | σ | 0.000 | | min | 1639.000-2843.000=-1204.000 | | max | 1639.000-2843.000=-1204.000 |
| | mean | 1.866-2.581=-0.714 | | σ | 0.095-0.074=0.021 | | min | 1.748-2.494=-0.746 | | max | 1.951-2.671=-0.720 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.696-4808.873=-3001.177 | | σ | 7.019-7.625=-0.606 | | min | 1804.316-4805.391=-3001.075 | | max | 1820.235-4822.513=-3002.278 |
| | mean | 1639.000-2843.000=-1204.000 | | σ | 0.000 | | min | 1639.000-2843.000=-1204.000 | | max | 1639.000-2843.000=-1204.000 |
| | mean | 4.121-9.066=-4.945 | | σ | 0.229-0.348=-0.119 | | min | 3.802-8.518=-4.716 | | max | 4.437-9.473=-5.036 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193-4996.398=-2926.205 | | σ | 0.008-0.140=-0.131 | | min | 2070.183-4996.150=-2925.967 | | max | 2070.206-4996.477=-2926.271 |
| | mean | 1836.200-3051.600=-1215.400 | | σ | 144.571-191.680=-47.109 | | min | 1639.000-2843.000=-1204.000 | | max | 2030.000-3330.000=-1300.000 |
| | mean | 4.553-8.661=-4.108 | | σ | 0.155-0.192=-0.037 | | min | 4.433-8.472=-4.038 | | max | 4.806-8.889=-4.083 |
|