iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.828=-0.009 | | σ | 0.037-0.038=-0.001 | | min | 286.765-286.781=-0.016 | | max | 286.857-286.873=-0.016 |
| | mean | 1648.000-1647.000=1.000 | | σ | 0.000 | | min | 1648.000-1647.000=1.000 | | max | 1648.000-1647.000=1.000 |
| | mean | 0.393-0.401=-0.007 | | σ | 0.006-0.009=-0.003 | | min | 0.388-0.391=-0.003 | | max | 0.402-0.412=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.281-1297.273=0.009 | | σ | 0.082-0.081=0.000 | | min | 1297.190-1297.197=-0.007 | | max | 1297.401-1297.388=0.013 |
| | mean | 1648.000-1647.000=1.000 | | σ | 0.000 | | min | 1648.000-1647.000=1.000 | | max | 1648.000-1647.000=1.000 |
| | mean | 2.230-2.198=0.032 | | σ | 0.050-0.080=-0.030 | | min | 2.159-2.067=0.092 | | max | 2.299-2.261=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.323-1541.337=-0.014 | | σ | 6.823-6.833=-0.010 | | min | 1538.092-1538.121=-0.030 | | max | 1553.525-1553.558=-0.033 |
| | mean | 1648.000-1647.000=1.000 | | σ | 0.000 | | min | 1648.000-1647.000=1.000 | | max | 1648.000-1647.000=1.000 |
| | mean | 2.195-2.221=-0.026 | | σ | 0.100-0.132=-0.032 | | min | 2.098-2.112=-0.014 | | max | 2.337-2.393=-0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116-1859.112=0.003 | | σ | 0.066-0.067=-0.001 | | min | 1859.032-1859.033=-0.000 | | max | 1859.189-1859.193=-0.003 |
| | mean | 1796.200-1781.000=15.200 | | σ | 154.545-125.178=29.367 | | min | 1648.000-1647.000=1.000 | | max | 1956.000-1904.000=52.000 |
| | mean | 3.028-3.097=-0.069 | | σ | 0.167-0.321=-0.153 | | min | 2.858-2.754=0.104 | | max | 3.250-3.532=-0.281 |
|