iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.699=-0.001 | | σ | 0.013-0.014=-0.001 | | min | 278.689-278.686=0.003 | | max | 278.720-278.722=-0.002 |
| | mean | 2693.000-2635.000=58.000 | | σ | 0.000 | | min | 2693.000-2635.000=58.000 | | max | 2693.000-2635.000=58.000 |
| | mean | 0.419-0.419=0.000 | | σ | 0.001-0.001=0.000 | | min | 0.418-0.418=-0.001 | | max | 0.420-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.871-2268.875=-0.004 | | σ | 0.006-0.006=-0.001 | | min | 2268.865-2268.864=0.001 | | max | 2268.878-2268.880=-0.002 |
| | mean | 2693.000-2635.000=58.000 | | σ | 0.000 | | min | 2693.000-2635.000=58.000 | | max | 2693.000-2635.000=58.000 |
| | mean | 3.093-2.889=0.204 | | σ | 0.219-0.061=0.159 | | min | 2.883-2.803=0.080 | | max | 3.411-2.973=0.437 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.078-4952.213=-0.135 | | σ | 0.909-0.784=0.124 | | min | 4951.145-4951.833=-0.688 | | max | 4953.599-4953.615=-0.016 |
| | mean | 2693.000-2635.000=58.000 | | σ | 0.000 | | min | 2693.000-2635.000=58.000 | | max | 2693.000-2635.000=58.000 |
| | mean | 8.077-7.825=0.252 | | σ | 0.237-0.134=0.103 | | min | 7.858-7.678=0.180 | | max | 8.346-7.968=0.378 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.848-5166.915=-0.067 | | σ | 0.162-0.011=0.151 | | min | 5166.560-5166.906=-0.346 | | max | 5166.939-5166.933=0.006 |
| | mean | 3467.000-3354.400=112.600 | | σ | 509.392-436.874=72.518 | | min | 2834.000-2768.000=66.000 | | max | 4180.000-3922.000=258.000 |
| | mean | 9.280-9.144=0.136 | | σ | 0.511-0.362=0.150 | | min | 8.481-8.841=-0.360 | | max | 9.727-9.614=0.113 |
|