iters=5 new-facts=1 prior-facts=1 | | mean | 270.129-270.126=0.003 | | σ | 0.007-0.006=0.001 | | min | 270.121-270.120=0.001 | | max | 270.136-270.133=0.003 |
| | mean | 2470.000-2545.000=-75.000 | | σ | 0.000 | | min | 2470.000-2545.000=-75.000 | | max | 2470.000-2545.000=-75.000 |
| | mean | 0.380-0.374=0.006 | | σ | 0.001-0.004=-0.003 | | min | 0.379-0.371=0.008 | | max | 0.381-0.381=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.593-1930.594=-0.000 | | σ | 0.014-0.009=0.006 | | min | 1930.568-1930.583=-0.015 | | max | 1930.603-1930.604=-0.001 |
| | mean | 2470.000-2545.000=-75.000 | | σ | 0.000 | | min | 2470.000-2545.000=-75.000 | | max | 2470.000-2545.000=-75.000 |
| | mean | 2.547-2.503=0.044 | | σ | 0.062-0.041=0.021 | | min | 2.506-2.471=0.035 | | max | 2.653-2.569=0.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.097-4751.012=0.085 | | σ | 0.859-0.538=0.321 | | min | 4750.660-4750.751=-0.091 | | max | 4752.632-4751.973=0.659 |
| | mean | 2470.000-2545.000=-75.000 | | σ | 0.000 | | min | 2470.000-2545.000=-75.000 | | max | 2470.000-2545.000=-75.000 |
| | mean | 8.292-8.181=0.111 | | σ | 0.636-0.430=0.206 | | min | 7.712-7.666=0.046 | | max | 9.003-8.604=0.399 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.527-4941.320=0.207 | | σ | 0.087-0.287=-0.200 | | min | 4941.450-4940.924=0.526 | | max | 4941.628-4941.636=-0.008 |
| | mean | 2942.800-2984.400=-41.600 | | σ | 395.415-284.461=110.953 | | min | 2470.000-2600.000=-130.000 | | max | 3460.000-3322.000=138.000 |
| | mean | 8.536-8.580=-0.043 | | σ | 0.168-0.219=-0.051 | | min | 8.330-8.429=-0.098 | | max | 8.753-8.923=-0.170 |
|