iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.568=0.187 | | σ | 0.011-0.007=0.004 | | min | 275.741-275.557=0.183 | | max | 275.767-275.575=0.192 |
| | mean | 2689.000-2844.000=-155.000 | | σ | 0.000 | | min | 2689.000-2844.000=-155.000 | | max | 2689.000-2844.000=-155.000 |
| | mean | 0.405-0.404=0.001 | | σ | 0.009-0.007=0.002 | | min | 0.398-0.397=0.002 | | max | 0.418-0.411=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2168.101=0.186 | | σ | 0.006-0.010=-0.004 | | min | 2168.277-2168.089=0.188 | | max | 2168.291-2168.113=0.179 |
| | mean | 2689.000-2844.000=-155.000 | | σ | 0.000 | | min | 2689.000-2844.000=-155.000 | | max | 2689.000-2844.000=-155.000 |
| | mean | 2.975-3.050=-0.076 | | σ | 0.217-0.172=0.045 | | min | 2.682-2.811=-0.129 | | max | 3.258-3.223=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.149-5047.888=0.261 | | σ | 0.916-0.878=0.038 | | min | 5047.544-5047.414=0.130 | | max | 5049.774-5049.450=0.324 |
| | mean | 2689.000-2844.000=-155.000 | | σ | 0.000 | | min | 2689.000-2844.000=-155.000 | | max | 2689.000-2844.000=-155.000 |
| | mean | 8.761-8.830=-0.069 | | σ | 0.539-0.374=0.164 | | min | 8.061-8.214=-0.154 | | max | 9.301-9.122=0.179 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.229-5178.908=0.321 | | σ | 0.076-0.263=-0.187 | | min | 5179.143-5178.625=0.518 | | max | 5179.310-5179.149=0.162 |
| | mean | 3227.400-3250.600=-23.200 | | σ | 389.684-328.141=61.542 | | min | 2702.000-2844.000=-142.000 | | max | 3736.000-3695.000=41.000 |
| | mean | 9.771-9.855=-0.085 | | σ | 0.657-0.323=0.334 | | min | 8.728-9.463=-0.735 | | max | 10.438-10.222=0.216 |
|