iters=5 new-facts=1 prior-facts=1 | | mean | 279.516-279.509=0.007 | | σ | 0.007-0.005=0.002 | | min | 279.504-279.503=0.002 | | max | 279.522-279.515=0.006 |
| | mean | 2748.000-2739.000=9.000 | | σ | 0.000 | | min | 2748.000-2739.000=9.000 | | max | 2748.000-2739.000=9.000 |
| | mean | 0.413-0.409=0.004 | | σ | 0.005-0.005=-0.000 | | min | 0.407-0.406=0.002 | | max | 0.418-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.432-2178.422=0.010 | | σ | 0.014-0.019=-0.004 | | min | 2178.413-2178.397=0.016 | | max | 2178.453-2178.445=0.008 |
| | mean | 2748.000-2739.000=9.000 | | σ | 0.000 | | min | 2748.000-2739.000=9.000 | | max | 2748.000-2739.000=9.000 |
| | mean | 3.365-3.336=0.030 | | σ | 0.137-0.219=-0.082 | | min | 3.243-3.172=0.071 | | max | 3.570-3.718=-0.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.404-5056.251=0.153 | | σ | 0.915-1.074=-0.158 | | min | 5055.928-5055.418=0.510 | | max | 5058.038-5058.123=-0.085 |
| | mean | 2748.000-2739.000=9.000 | | σ | 0.000 | | min | 2748.000-2739.000=9.000 | | max | 2748.000-2739.000=9.000 |
| | mean | 8.947-8.950=-0.004 | | σ | 0.494-0.570=-0.076 | | min | 8.230-8.199=0.031 | | max | 9.467-9.526=-0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.756-5193.675=0.081 | | σ | 0.091-0.119=-0.028 | | min | 5193.684-5193.509=0.175 | | max | 5193.863-5193.844=0.019 |
| | mean | 3235.800-3189.400=46.400 | | σ | 433.798-440.201=-6.403 | | min | 2748.000-2739.000=9.000 | | max | 3811.000-3804.000=7.000 |
| | mean | 8.776-8.854=-0.078 | | σ | 0.083-0.187=-0.104 | | min | 8.694-8.676=0.018 | | max | 8.912-9.076=-0.164 |
|