iters=5 new-facts=1 prior-facts=1 | | mean | 274.424-274.416=0.008 | | σ | 0.004-0.009=-0.005 | | min | 274.419-274.406=0.013 | | max | 274.427-274.426=0.002 |
| | mean | 2734.000-2658.000=76.000 | | σ | 0.000 | | min | 2734.000-2658.000=76.000 | | max | 2734.000-2658.000=76.000 |
| | mean | 0.410-0.408=0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.409-0.406=0.002 | | max | 0.411-0.409=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.666-2264.662=0.005 | | σ | 0.010-0.007=0.002 | | min | 2264.660-2264.651=0.009 | | max | 2264.684-2264.671=0.013 |
| | mean | 2734.000-2658.000=76.000 | | σ | 0.000 | | min | 2734.000-2658.000=76.000 | | max | 2734.000-2658.000=76.000 |
| | mean | 3.036-3.042=-0.007 | | σ | 0.163-0.187=-0.025 | | min | 2.885-2.827=0.059 | | max | 3.216-3.325=-0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.771-4951.728=0.043 | | σ | 0.732-0.776=-0.045 | | min | 4951.337-4951.266=0.071 | | max | 4953.066-4953.103=-0.037 |
| | mean | 2734.000-2658.000=76.000 | | σ | 0.000 | | min | 2734.000-2658.000=76.000 | | max | 2734.000-2658.000=76.000 |
| | mean | 7.839-8.115=-0.276 | | σ | 0.204-0.483=-0.279 | | min | 7.667-7.781=-0.114 | | max | 8.159-8.968=-0.809 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.326-5166.471=-0.145 | | σ | 0.261-0.080=0.180 | | min | 5166.044-5166.399=-0.354 | | max | 5166.561-5166.560=0.001 |
| | mean | 3372.600-3474.000=-101.400 | | σ | 334.366-500.428=-166.062 | | min | 2905.000-2857.000=48.000 | | max | 3698.000-4168.000=-470.000 |
| | mean | 9.342-9.633=-0.290 | | σ | 0.214-0.321=-0.106 | | min | 9.086-9.236=-0.150 | | max | 9.635-10.125=-0.490 |
|