iters=5 new-facts=1 prior-facts=1 | | mean | 285.433-324.766=-39.332 | | σ | 0.009-0.048=-0.039 | | min | 285.422-324.681=-39.259 | | max | 285.441-324.793=-39.352 |
| | mean | 1526.000-2690.000=-1164.000 | | σ | 0.000 | | min | 1526.000-2690.000=-1164.000 | | max | 1526.000-2690.000=-1164.000 |
| | mean | 0.381-0.427=-0.046 | | σ | 0.010-0.010=0.000 | | min | 0.373-0.420=-0.047 | | max | 0.398-0.445=-0.046 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.537-1985.317=-699.780 | | σ | 0.049-0.020=0.029 | | min | 1285.463-1985.284=-699.821 | | max | 1285.583-1985.332=-699.750 |
| | mean | 1526.000-2690.000=-1164.000 | | σ | 0.000 | | min | 1526.000-2690.000=-1164.000 | | max | 1526.000-2690.000=-1164.000 |
| | mean | 1.985-2.617=-0.632 | | σ | 0.255-0.079=0.176 | | min | 1.806-2.558=-0.752 | | max | 2.381-2.733=-0.352 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.833-4808.975=-3103.142 | | σ | 6.874-7.796=-0.923 | | min | 1702.661-4805.048=-3102.387 | | max | 1718.126-4822.914=-3104.789 |
| | mean | 1526.000-2690.000=-1164.000 | | σ | 0.000 | | min | 1526.000-2690.000=-1164.000 | | max | 1526.000-2690.000=-1164.000 |
| | mean | 2.913-9.029=-6.116 | | σ | 0.330-0.132=0.198 | | min | 2.507-8.889=-6.382 | | max | 3.392-9.234=-5.842 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.431-4996.494=-3028.063 | | σ | 0.040-0.178=-0.138 | | min | 1968.378-4996.285=-3027.907 | | max | 1968.483-4996.640=-3028.157 |
| | mean | 1785.800-3058.800=-1273.000 | | σ | 195.988-293.251=-97.263 | | min | 1543.000-2690.000=-1147.000 | | max | 2043.000-3333.000=-1290.000 |
| | mean | 3.327-8.914=-5.587 | | σ | 0.393-0.415=-0.022 | | min | 3.059-8.568=-5.509 | | max | 4.014-9.554=-5.540 |
|