iters=5 new-facts=1 prior-facts=1 | | mean | 324.012-272.792=51.220 | | σ | 0.053-0.008=0.045 | | min | 323.917-272.780=51.137 | | max | 324.044-272.801=51.243 |
| | mean | 2852.000-2510.000=342.000 | | σ | 0.000 | | min | 2852.000-2510.000=342.000 | | max | 2852.000-2510.000=342.000 |
| | mean | 0.427-0.383=0.044 | | σ | 0.001-0.007=-0.006 | | min | 0.426-0.377=0.048 | | max | 0.428-0.396=0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.596-1933.228=51.369 | | σ | 0.005-0.011=-0.006 | | min | 1984.592-1933.212=51.380 | | max | 1984.604-1933.240=51.364 |
| | mean | 2852.000-2510.000=342.000 | | σ | 0.000 | | min | 2852.000-2510.000=342.000 | | max | 2852.000-2510.000=342.000 |
| | mean | 2.565-3.008=-0.443 | | σ | 0.095-0.158=-0.064 | | min | 2.466-2.752=-0.287 | | max | 2.698-3.174=-0.476 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.255-4756.903=51.352 | | σ | 7.745-7.605=0.140 | | min | 4804.688-4753.131=51.557 | | max | 4822.110-4770.502=51.608 |
| | mean | 2852.000-2510.000=342.000 | | σ | 0.000 | | min | 2852.000-2510.000=342.000 | | max | 2852.000-2510.000=342.000 |
| | mean | 8.806-8.343=0.463 | | σ | 0.310-0.371=-0.060 | | min | 8.508-7.852=0.656 | | max | 9.269-8.624=0.645 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.805-4944.455=51.349 | | σ | 0.012-0.020=-0.007 | | min | 4995.791-4944.435=51.356 | | max | 4995.819-4944.480=51.339 |
| | mean | 3047.200-2992.000=55.200 | | σ | 201.770-276.878=-75.108 | | min | 2852.000-2618.000=234.000 | | max | 3338.000-3328.000=10.000 |
| | mean | 8.713-8.560=0.153 | | σ | 0.134-0.172=-0.038 | | min | 8.549-8.359=0.189 | | max | 8.920-8.787=0.133 |
|