iters=5 new-facts=1 prior-facts=1 | | mean | 270.133-270.138=-0.006 | | σ | 0.015-0.007=0.008 | | min | 270.119-270.130=-0.011 | | max | 270.154-270.146=0.009 |
| | mean | 2849.000-2517.000=332.000 | | σ | 0.000 | | min | 2849.000-2517.000=332.000 | | max | 2849.000-2517.000=332.000 |
| | mean | 0.386-0.379=0.007 | | σ | 0.008-0.006=0.001 | | min | 0.377-0.375=0.002 | | max | 0.398-0.390=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.605=0.004 | | σ | 0.005-0.006=-0.001 | | min | 1930.602-1930.600=0.001 | | max | 1930.613-1930.614=-0.001 |
| | mean | 2849.000-2517.000=332.000 | | σ | 0.000 | | min | 2849.000-2517.000=332.000 | | max | 2849.000-2517.000=332.000 |
| | mean | 2.543-2.513=0.030 | | σ | 0.162-0.092=0.070 | | min | 2.383-2.444=-0.060 | | max | 2.806-2.673=0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.351-4750.954=0.397 | | σ | 0.829-1.121=-0.292 | | min | 4750.877-4750.217=0.660 | | max | 4752.823-4752.907=-0.084 |
| | mean | 2849.000-2517.000=332.000 | | σ | 0.000 | | min | 2849.000-2517.000=332.000 | | max | 2849.000-2517.000=332.000 |
| | mean | 8.210-8.677=-0.467 | | σ | 0.452-0.650=-0.198 | | min | 7.705-7.603=0.101 | | max | 8.693-9.163=-0.470 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.772-4941.773=-0.001 | | σ | 0.018-0.013=0.005 | | min | 4941.753-4941.760=-0.007 | | max | 4941.794-4941.794=0.000 |
| | mean | 3052.600-2980.600=72.000 | | σ | 188.894-290.380=-101.486 | | min | 2849.000-2593.000=256.000 | | max | 3323.000-3330.000=-7.000 |
| | mean | 8.534-8.513=0.020 | | σ | 0.151-0.158=-0.008 | | min | 8.387-8.359=0.028 | | max | 8.734-8.729=0.005 |
|