iters=5 new-facts=1 prior-facts=1 | | mean | 281.910-280.022=1.888 | | σ | 0.007-0.008=-0.001 | | min | 281.902-280.010=1.892 | | max | 281.919-280.031=1.888 |
| | mean | 2604.000-2689.000=-85.000 | | σ | 0.000 | | min | 2604.000-2689.000=-85.000 | | max | 2604.000-2689.000=-85.000 |
| | mean | 0.404-0.418=-0.013 | | σ | 0.005-0.002=0.003 | | min | 0.400-0.415=-0.015 | | max | 0.411-0.420=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.113-2265.240=-89.127 | | σ | 0.016-0.006=0.010 | | min | 2176.103-2265.229=-89.127 | | max | 2176.141-2265.245=-89.103 |
| | mean | 2604.000-2689.000=-85.000 | | σ | 0.000 | | min | 2604.000-2689.000=-85.000 | | max | 2604.000-2689.000=-85.000 |
| | mean | 2.865-2.973=-0.108 | | σ | 0.141-0.178=-0.037 | | min | 2.750-2.775=-0.025 | | max | 3.110-3.262=-0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4899.392-4946.795=-47.403 | | σ | 354.927-1.085=353.842 | | min | 4264.482-4945.458=-680.976 | | max | 5059.636-4948.491=111.145 |
| | mean | 2604.000-2689.000=-85.000 | | σ | 0.000 | | min | 2604.000-2689.000=-85.000 | | max | 2604.000-2689.000=-85.000 |
| | mean | 9.144-7.991=1.153 | | σ | 0.761-0.320=0.442 | | min | 7.789-7.658=0.130 | | max | 9.593-8.379=1.214 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5206.459-5174.389=32.070 | | σ | 0.177-0.190=-0.013 | | min | 5206.160-5174.063=32.098 | | max | 5206.597-5174.522=32.075 |
| | mean | 3141.800-3382.400=-240.600 | | σ | 453.662-464.262=-10.600 | | min | 2604.000-2751.000=-147.000 | | max | 3755.000-3969.000=-214.000 |
| | mean | 9.913-9.279=0.634 | | σ | 0.351-0.406=-0.055 | | min | 9.499-8.649=0.850 | | max | 10.296-9.696=0.600 |
|