iters=5 new-facts=1 prior-facts=1 | | mean | 280.286-280.290=-0.004 | | σ | 0.010-0.003=0.007 | | min | 280.273-280.286=-0.013 | | max | 280.300-280.295=0.006 |
| | mean | 2779.000-2683.000=96.000 | | σ | 0.000 | | min | 2779.000-2683.000=96.000 | | max | 2779.000-2683.000=96.000 |
| | mean | 0.410-0.412=-0.001 | | σ | 0.002-0.001=0.000 | | min | 0.408-0.410=-0.002 | | max | 0.412-0.414=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.319-2270.294=0.025 | | σ | 0.025-0.026=-0.001 | | min | 2270.287-2270.263=0.024 | | max | 2270.355-2270.323=0.032 |
| | mean | 2779.000-2683.000=96.000 | | σ | 0.000 | | min | 2779.000-2683.000=96.000 | | max | 2779.000-2683.000=96.000 |
| | mean | 3.210-2.986=0.224 | | σ | 0.320-0.114=0.205 | | min | 2.861-2.826=0.035 | | max | 3.643-3.118=0.525 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.357-5147.582=-0.225 | | σ | 1.169-1.012=0.157 | | min | 5146.539-5146.996=-0.457 | | max | 5149.381-5149.382=-0.001 |
| | mean | 2779.000-2683.000=96.000 | | σ | 0.000 | | min | 2779.000-2683.000=96.000 | | max | 2779.000-2683.000=96.000 |
| | mean | 8.759-8.990=-0.231 | | σ | 0.626-0.585=0.042 | | min | 8.157-8.287=-0.130 | | max | 9.629-9.689=-0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582-5285.572=0.010 | | σ | 0.220-0.136=0.084 | | min | 5285.224-5285.367=-0.143 | | max | 5285.765-5285.748=0.017 |
| | mean | 3448.200-3487.600=-39.400 | | σ | 414.639-541.401=-126.762 | | min | 2836.000-2770.000=66.000 | | max | 3918.000-4004.000=-86.000 |
| | mean | 10.083-9.949=0.134 | | σ | 0.326-0.511=-0.184 | | min | 9.617-9.185=0.432 | | max | 10.508-10.445=0.063 |
|