iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-275.566=0.003 | | σ | 0.007-0.007=-0.000 | | min | 275.561-275.557=0.004 | | max | 275.577-275.573=0.004 |
| | mean | 2508.000-2476.000=32.000 | | σ | 0.000 | | min | 2508.000-2476.000=32.000 | | max | 2508.000-2476.000=32.000 |
| | mean | 0.402-0.392=0.009 | | σ | 0.008-0.009=-0.001 | | min | 0.397-0.385=0.012 | | max | 0.415-0.404=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.098-2168.101=-0.003 | | σ | 0.007-0.006=0.001 | | min | 2168.091-2168.094=-0.003 | | max | 2168.109-2168.109=-0.000 |
| | mean | 2508.000-2476.000=32.000 | | σ | 0.000 | | min | 2508.000-2476.000=32.000 | | max | 2508.000-2476.000=32.000 |
| | mean | 2.973-3.014=-0.040 | | σ | 0.170-0.176=-0.006 | | min | 2.774-2.777=-0.002 | | max | 3.171-3.169=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.581-5047.675=-0.094 | | σ | 1.235-0.366=0.869 | | min | 5046.155-5047.384=-1.229 | | max | 5049.521-5048.308=1.213 |
| | mean | 2508.000-2476.000=32.000 | | σ | 0.000 | | min | 2508.000-2476.000=32.000 | | max | 2508.000-2476.000=32.000 |
| | mean | 8.681-8.856=-0.175 | | σ | 0.488-0.513=-0.025 | | min | 8.101-8.098=0.003 | | max | 9.265-9.439=-0.174 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.969-5179.047=-0.078 | | σ | 0.122-0.080=0.041 | | min | 5178.787-5178.966=-0.180 | | max | 5179.129-5179.134=-0.005 |
| | mean | 3217.000-3214.000=3.000 | | σ | 389.078-390.184=-1.106 | | min | 2681.000-2677.000=4.000 | | max | 3703.000-3701.000=2.000 |
| | mean | 9.750-9.932=-0.183 | | σ | 0.172-0.118=0.054 | | min | 9.595-9.793=-0.198 | | max | 9.958-10.092=-0.134 |
|