iters=5 new-facts=1 prior-facts=1 | | mean | 273.506-273.505=0.001 | | σ | 0.006-0.006=-0.001 | | min | 273.500-273.495=0.005 | | max | 273.515-273.511=0.004 |
| | mean | 2870.000-2858.000=12.000 | | σ | 0.000 | | min | 2870.000-2858.000=12.000 | | max | 2870.000-2858.000=12.000 |
| | mean | 0.385-0.379=0.007 | | σ | 0.005-0.009=-0.004 | | min | 0.381-0.371=0.010 | | max | 0.393-0.391=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1793.629-1933.893=-140.264 | | σ | 313.660-0.005=313.655 | | min | 1232.537-1933.888=-701.351 | | max | 1933.937-1933.902=0.036 |
| | mean | 2870.000-2858.000=12.000 | | σ | 0.000 | | min | 2870.000-2858.000=12.000 | | max | 2870.000-2858.000=12.000 |
| | mean | 2.905-3.027=-0.122 | | σ | 0.693-0.048=0.645 | | min | 1.672-2.977=-1.304 | | max | 3.321-3.099=0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.703-4754.743=-0.040 | | σ | 0.806-0.775=0.031 | | min | 4754.195-4754.336=-0.141 | | max | 4756.135-4756.128=0.008 |
| | mean | 2870.000-2858.000=12.000 | | σ | 0.000 | | min | 2870.000-2858.000=12.000 | | max | 2870.000-2858.000=12.000 |
| | mean | 8.087-8.111=-0.024 | | σ | 0.484-0.338=0.147 | | min | 7.714-7.804=-0.090 | | max | 8.823-8.503=0.320 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.049-4945.045=0.004 | | σ | 0.166-0.154=0.012 | | min | 4944.754-4944.770=-0.016 | | max | 4945.138-4945.135=0.003 |
| | mean | 3032.200-3072.000=-39.800 | | σ | 225.444-287.482=-62.038 | | min | 2870.000-2858.000=12.000 | | max | 3354.000-3520.000=-166.000 |
| | mean | 8.577-8.422=0.154 | | σ | 0.106-0.106=0.000 | | min | 8.438-8.340=0.098 | | max | 8.695-8.600=0.095 |
|