iters=5 new-facts=1 prior-facts=1 | | mean | 275.565-277.194=-1.629 | | σ | 0.005-0.006=-0.001 | | min | 275.560-277.185=-1.626 | | max | 275.573-277.200=-1.627 |
| | mean | 2768.000-2624.000=144.000 | | σ | 0.000 | | min | 2768.000-2624.000=144.000 | | max | 2768.000-2624.000=144.000 |
| | mean | 0.393-0.393=0.000 | | σ | 0.008-0.002=0.007 | | min | 0.387-0.392=-0.005 | | max | 0.403-0.396=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094-2174.435=-6.341 | | σ | 0.011-0.006=0.005 | | min | 2168.084-2174.429=-6.345 | | max | 2168.108-2174.442=-6.334 |
| | mean | 2768.000-2624.000=144.000 | | σ | 0.000 | | min | 2768.000-2624.000=144.000 | | max | 2768.000-2624.000=144.000 |
| | mean | 2.995-2.957=0.038 | | σ | 0.170-0.173=-0.003 | | min | 2.745-2.721=0.024 | | max | 3.189-3.187=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.919-5052.508=-4.589 | | σ | 0.901-1.065=-0.164 | | min | 5047.341-5051.575=-4.234 | | max | 5049.509-5054.336=-4.827 |
| | mean | 2768.000-2624.000=144.000 | | σ | 0.000 | | min | 2768.000-2624.000=144.000 | | max | 2768.000-2624.000=144.000 |
| | mean | 8.814-9.265=-0.452 | | σ | 0.529-0.687=-0.157 | | min | 8.152-8.262=-0.109 | | max | 9.485-10.055=-0.570 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.058-5188.358=-9.300 | | σ | 0.101-0.210=-0.109 | | min | 5178.962-5188.008=-9.047 | | max | 5179.175-5188.526=-9.351 |
| | mean | 3304.000-3229.200=74.800 | | σ | 401.557-386.322=15.235 | | min | 2768.000-2670.000=98.000 | | max | 3684.000-3692.000=-8.000 |
| | mean | 10.212-9.015=1.197 | | σ | 0.384-0.448=-0.064 | | min | 9.914-8.628=1.286 | | max | 10.873-9.713=1.160 |
|