iters=5 new-facts=1 prior-facts=1 | | mean | 269.376-273.610=-4.234 | | σ | 0.008-0.009=-0.001 | | min | 269.366-273.603=-4.237 | | max | 269.388-273.622=-4.234 |
| | mean | 2854.000-2846.000=8.000 | | σ | 0.000 | | min | 2854.000-2846.000=8.000 | | max | 2854.000-2846.000=8.000 |
| | mean | 0.376-0.389=-0.013 | | σ | 0.005-0.010=-0.005 | | min | 0.372-0.380=-0.008 | | max | 0.385-0.405=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.744-1933.996=-4.252 | | σ | 0.019-0.008=0.011 | | min | 1929.715-1933.986=-4.271 | | max | 1929.762-1934.006=-4.244 |
| | mean | 2854.000-2846.000=8.000 | | σ | 0.000 | | min | 2854.000-2846.000=8.000 | | max | 2854.000-2846.000=8.000 |
| | mean | 3.123-3.007=0.116 | | σ | 0.145-0.043=0.102 | | min | 3.009-2.964=0.045 | | max | 3.363-3.076=0.287 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.386-4754.840=-4.455 | | σ | 0.960-0.814=0.145 | | min | 4749.526-4754.375=-4.849 | | max | 4752.026-4756.292=-4.266 |
| | mean | 2854.000-2846.000=8.000 | | σ | 0.000 | | min | 2854.000-2846.000=8.000 | | max | 2854.000-2846.000=8.000 |
| | mean | 8.731-8.135=0.597 | | σ | 0.533-0.322=0.211 | | min | 8.098-7.819=0.279 | | max | 9.540-8.653=0.887 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.980-4945.221=-4.241 | | σ | 0.020-0.012=0.008 | | min | 4940.955-4945.205=-4.250 | | max | 4941.001-4945.237=-4.236 |
| | mean | 3075.000-3076.000=-1.000 | | σ | 297.157-303.815=-6.658 | | min | 2854.000-2846.000=8.000 | | max | 3534.000-3543.000=-9.000 |
| | mean | 8.409-8.470=-0.061 | | σ | 0.113-0.116=-0.003 | | min | 8.335-8.337=-0.002 | | max | 8.608-8.646=-0.038 |
|