iters=5 new-facts=1 prior-facts=1 | | mean | 269.937-269.931=0.006 | | σ | 0.008-0.009=-0.001 | | min | 269.926-269.923=0.003 | | max | 269.948-269.944=0.004 |
| | mean | 2467.000-2762.000=-295.000 | | σ | 0.000 | | min | 2467.000-2762.000=-295.000 | | max | 2467.000-2762.000=-295.000 |
| | mean | 0.382-0.373=0.009 | | σ | 0.006-0.006=-0.000 | | min | 0.378-0.370=0.008 | | max | 0.393-0.384=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389-1930.385=0.003 | | σ | 0.024-0.016=0.008 | | min | 1930.353-1930.366=-0.014 | | max | 1930.410-1930.406=0.005 |
| | mean | 2467.000-2762.000=-295.000 | | σ | 0.000 | | min | 2467.000-2762.000=-295.000 | | max | 2467.000-2762.000=-295.000 |
| | mean | 2.552-2.605=-0.052 | | σ | 0.157-0.305=-0.148 | | min | 2.439-2.373=0.066 | | max | 2.816-3.140=-0.323 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.821-4750.612=0.210 | | σ | 0.835-1.112=-0.277 | | min | 4750.264-4749.169=1.095 | | max | 4752.284-4752.286=-0.003 |
| | mean | 2467.000-2762.000=-295.000 | | σ | 0.000 | | min | 2467.000-2762.000=-295.000 | | max | 2467.000-2762.000=-295.000 |
| | mean | 8.807-8.634=0.173 | | σ | 0.349-0.302=0.046 | | min | 8.464-8.305=0.159 | | max | 9.261-9.029=0.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.330-4941.334=-0.004 | | σ | 0.084-0.087=-0.003 | | min | 4941.258-4941.255=0.003 | | max | 4941.423-4941.428=-0.005 |
| | mean | 2960.000-3031.600=-71.600 | | σ | 272.881-228.977=43.904 | | min | 2594.000-2762.000=-168.000 | | max | 3316.000-3304.000=12.000 |
| | mean | 8.415-8.754=-0.339 | | σ | 0.043-0.400=-0.358 | | min | 8.349-8.362=-0.013 | | max | 8.460-9.359=-0.898 |
|