iters=5 new-facts=1 prior-facts=1 | | mean | 267.805-275.757=-7.952 | | σ | 17.783-0.010=17.774 | | min | 235.993-275.744=-39.751 | | max | 275.767-275.767=-0.000 |
| | mean | 2472.000-2638.000=-166.000 | | σ | 0.000 | | min | 2472.000-2638.000=-166.000 | | max | 2472.000-2638.000=-166.000 |
| | mean | 0.389-0.403=-0.014 | | σ | 0.031-0.006=0.025 | | min | 0.336-0.398=-0.062 | | max | 0.417-0.412=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.278-2168.288=-0.010 | | σ | 0.012-0.008=0.005 | | min | 2168.258-2168.275=-0.017 | | max | 2168.288-2168.295=-0.006 |
| | mean | 2472.000-2638.000=-166.000 | | σ | 0.000 | | min | 2472.000-2638.000=-166.000 | | max | 2472.000-2638.000=-166.000 |
| | mean | 3.026-2.815=0.211 | | σ | 0.156-0.049=0.106 | | min | 2.794-2.764=0.030 | | max | 3.158-2.883=0.274 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.995-4889.240=158.755 | | σ | 0.644-355.516=-354.872 | | min | 5047.593-4253.275=794.317 | | max | 5049.137-5049.692=-0.555 |
| | mean | 2472.000-2638.000=-166.000 | | σ | 0.000 | | min | 2472.000-2638.000=-166.000 | | max | 2472.000-2638.000=-166.000 |
| | mean | 8.581-8.711=-0.130 | | σ | 0.406-0.886=-0.480 | | min | 8.015-7.218=0.797 | | max | 9.111-9.595=-0.484 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.032-5179.168=-0.136 | | σ | 0.130-0.193=-0.064 | | min | 5178.854-5178.847=0.007 | | max | 5179.165-5179.328=-0.163 |
| | mean | 3209.600-3154.800=54.800 | | σ | 350.004-458.114=-108.110 | | min | 2715.000-2638.000=77.000 | | max | 3637.000-3794.000=-157.000 |
| | mean | 9.845-10.017=-0.171 | | σ | 0.509-0.207=0.302 | | min | 9.113-9.732=-0.619 | | max | 10.276-10.315=-0.039 |
|