iters=5 new-facts=1 prior-facts=1 | | mean | 285.367-286.820=-1.453 | | σ | 0.036-0.037=-0.000 | | min | 285.318-286.770=-1.452 | | max | 285.402-286.857=-1.455 |
| | mean | 1652.000-1647.000=5.000 | | σ | 0.000 | | min | 1652.000-1647.000=5.000 | | max | 1652.000-1647.000=5.000 |
| | mean | 0.391-0.393=-0.002 | | σ | 0.008-0.006=0.002 | | min | 0.382-0.386=-0.005 | | max | 0.403-0.400=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.743-1297.271=-1.528 | | σ | 0.108-0.091=0.018 | | min | 1295.627-1297.158=-1.531 | | max | 1295.880-1297.397=-1.517 |
| | mean | 1652.000-1647.000=5.000 | | σ | 0.000 | | min | 1652.000-1647.000=5.000 | | max | 1652.000-1647.000=5.000 |
| | mean | 1.898-2.269=-0.371 | | σ | 0.070-0.159=-0.089 | | min | 1.817-2.139=-0.322 | | max | 1.965-2.544=-0.579 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.848-1541.344=-1.496 | | σ | 6.822-6.841=-0.019 | | min | 1536.599-1538.091=-1.492 | | max | 1552.048-1553.578=-1.530 |
| | mean | 1652.000-1647.000=5.000 | | σ | 0.000 | | min | 1652.000-1647.000=5.000 | | max | 1652.000-1647.000=5.000 |
| | mean | 2.236-2.242=-0.006 | | σ | 0.198-0.170=0.028 | | min | 2.034-2.130=-0.096 | | max | 2.464-2.544=-0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.643-1859.119=-1.476 | | σ | 0.067-0.066=0.001 | | min | 1857.557-1859.030=-1.473 | | max | 1857.737-1859.196=-1.459 |
| | mean | 1780.600-1777.400=3.200 | | σ | 119.624-125.801=-6.177 | | min | 1652.000-1647.000=5.000 | | max | 1896.000-1902.000=-6.000 |
| | mean | 2.985-3.123=-0.139 | | σ | 0.116-0.285=-0.170 | | min | 2.851-2.833=0.017 | | max | 3.125-3.550=-0.425 |
|