iters=5 new-facts=1 prior-facts=1 | | mean | 272.758-272.754=0.004 | | σ | 0.004-0.007=-0.003 | | min | 272.752-272.748=0.004 | | max | 272.761-272.762=-0.000 |
| | mean | 2434.000-2485.000=-51.000 | | σ | 0.000 | | min | 2434.000-2485.000=-51.000 | | max | 2434.000-2485.000=-51.000 |
| | mean | 0.379-0.382=-0.003 | | σ | 0.001-0.004=-0.003 | | min | 0.378-0.379=-0.001 | | max | 0.380-0.389=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.160-1933.167=-0.007 | | σ | 0.020-0.010=0.010 | | min | 1933.140-1933.153=-0.012 | | max | 1933.183-1933.181=0.002 |
| | mean | 2434.000-2485.000=-51.000 | | σ | 0.000 | | min | 2434.000-2485.000=-51.000 | | max | 2434.000-2485.000=-51.000 |
| | mean | 3.040-3.151=-0.110 | | σ | 0.213-0.252=-0.039 | | min | 2.720-2.841=-0.121 | | max | 3.287-3.426=-0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.793-4756.887=-0.093 | | σ | 7.667-7.283=0.384 | | min | 4752.967-4753.555=-0.588 | | max | 4770.501-4769.915=0.586 |
| | mean | 2434.000-2485.000=-51.000 | | σ | 0.000 | | min | 2434.000-2485.000=-51.000 | | max | 2434.000-2485.000=-51.000 |
| | mean | 8.714-8.057=0.657 | | σ | 0.320-0.330=-0.010 | | min | 8.329-7.704=0.625 | | max | 9.164-8.460=0.704 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.329-4944.322=0.006 | | σ | 0.161-0.174=-0.013 | | min | 4944.044-4944.013=0.031 | | max | 4944.428-4944.417=0.012 |
| | mean | 2962.000-2935.000=27.000 | | σ | 413.952-402.008=11.944 | | min | 2444.000-2485.000=-41.000 | | max | 3517.000-3466.000=51.000 |
| | mean | 8.534-8.435=0.099 | | σ | 0.196-0.115=0.081 | | min | 8.346-8.338=0.008 | | max | 8.788-8.631=0.156 |
|