iters=5 new-facts=1 prior-facts=1 | | mean | 272.746-272.760=-0.014 | | σ | 0.015-0.008=0.007 | | min | 272.722-272.751=-0.028 | | max | 272.760-272.769=-0.008 |
| | mean | 2461.000-2771.000=-310.000 | | σ | 0.000 | | min | 2461.000-2771.000=-310.000 | | max | 2461.000-2771.000=-310.000 |
| | mean | 0.385-0.385=-0.001 | | σ | 0.002-0.007=-0.006 | | min | 0.383-0.381=0.002 | | max | 0.388-0.399=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.124-1933.131=-0.007 | | σ | 0.012-0.015=-0.003 | | min | 1933.110-1933.112=-0.002 | | max | 1933.137-1933.153=-0.016 |
| | mean | 2461.000-2771.000=-310.000 | | σ | 0.000 | | min | 2461.000-2771.000=-310.000 | | max | 2461.000-2771.000=-310.000 |
| | mean | 3.067-3.063=0.004 | | σ | 0.170-0.045=0.125 | | min | 2.852-3.019=-0.167 | | max | 3.312-3.128=0.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.883-4753.837=0.045 | | σ | 0.934-0.976=-0.042 | | min | 4753.393-4753.099=0.294 | | max | 4755.549-4755.545=0.005 |
| | mean | 2461.000-2771.000=-310.000 | | σ | 0.000 | | min | 2461.000-2771.000=-310.000 | | max | 2461.000-2771.000=-310.000 |
| | mean | 8.653-8.455=0.199 | | σ | 0.542-0.592=-0.051 | | min | 7.800-7.745=0.055 | | max | 9.108-9.097=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.285-4944.361=-0.076 | | σ | 0.168-0.022=0.146 | | min | 4943.986-4944.336=-0.350 | | max | 4944.378-4944.385=-0.007 |
| | mean | 2915.600-3015.800=-100.200 | | σ | 393.182-284.334=108.848 | | min | 2461.000-2771.000=-310.000 | | max | 3465.000-3423.000=42.000 |
| | mean | 8.414-8.451=-0.037 | | σ | 0.047-0.093=-0.047 | | min | 8.362-8.378=-0.016 | | max | 8.470-8.613=-0.142 |
|