iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-270.124=0.002 | | σ | 0.006-0.002=0.004 | | min | 270.119-270.121=-0.002 | | max | 270.134-270.126=0.008 |
| | mean | 2492.000-2466.000=26.000 | | σ | 0.000 | | min | 2492.000-2466.000=26.000 | | max | 2492.000-2466.000=26.000 |
| | mean | 0.382-0.374=0.008 | | σ | 0.010-0.006=0.004 | | min | 0.372-0.370=0.001 | | max | 0.393-0.385=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.589-1930.595=-0.006 | | σ | 0.019-0.007=0.012 | | min | 1930.558-1930.584=-0.026 | | max | 1930.605-1930.604=0.002 |
| | mean | 2492.000-2466.000=26.000 | | σ | 0.000 | | min | 2492.000-2466.000=26.000 | | max | 2492.000-2466.000=26.000 |
| | mean | 2.528-2.552=-0.024 | | σ | 0.091-0.118=-0.027 | | min | 2.441-2.457=-0.016 | | max | 2.640-2.744=-0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.132-4751.069=0.063 | | σ | 0.789-0.884=-0.095 | | min | 4750.660-4750.535=0.125 | | max | 4752.534-4752.640=-0.106 |
| | mean | 2492.000-2466.000=26.000 | | σ | 0.000 | | min | 2492.000-2466.000=26.000 | | max | 2492.000-2466.000=26.000 |
| | mean | 8.087-8.511=-0.424 | | σ | 0.371-0.580=-0.210 | | min | 7.713-7.601=0.112 | | max | 8.504-9.147=-0.643 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.384-4941.530=-0.146 | | σ | 0.198-0.085=0.113 | | min | 4941.100-4941.452=-0.352 | | max | 4941.610-4941.626=-0.015 |
| | mean | 2945.000-3016.600=-71.600 | | σ | 417.886-271.895=145.992 | | min | 2492.000-2621.000=-129.000 | | max | 3508.000-3351.000=157.000 |
| | mean | 8.387-8.492=-0.105 | | σ | 0.087-0.140=-0.053 | | min | 8.282-8.353=-0.070 | | max | 8.487-8.652=-0.164 |
|