iters=5 new-facts=1 prior-facts=1 | | mean | 272.793-272.757=0.036 | | σ | 0.007-0.002=0.005 | | min | 272.782-272.755=0.027 | | max | 272.800-272.760=0.040 |
| | mean | 2769.000-2480.000=289.000 | | σ | 0.000 | | min | 2769.000-2480.000=289.000 | | max | 2769.000-2480.000=289.000 |
| | mean | 0.378-0.381=-0.003 | | σ | 0.001-0.007=-0.006 | | min | 0.377-0.377=-0.001 | | max | 0.380-0.394=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.223-1933.160=0.063 | | σ | 0.019-0.009=0.010 | | min | 1933.200-1933.151=0.049 | | max | 1933.242-1933.172=0.070 |
| | mean | 2769.000-2480.000=289.000 | | σ | 0.000 | | min | 2769.000-2480.000=289.000 | | max | 2769.000-2480.000=289.000 |
| | mean | 3.294-2.930=0.364 | | σ | 0.328-0.126=0.202 | | min | 3.019-2.724=0.295 | | max | 3.689-3.034=0.655 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.841-4756.736=0.104 | | σ | 7.637-7.380=0.256 | | min | 4753.011-4753.116=-0.105 | | max | 4770.493-4769.934=0.559 |
| | mean | 2769.000-2480.000=289.000 | | σ | 0.000 | | min | 2769.000-2480.000=289.000 | | max | 2769.000-2480.000=289.000 |
| | mean | 8.846-8.586=0.260 | | σ | 0.356-0.311=0.045 | | min | 8.504-8.246=0.258 | | max | 9.419-8.971=0.448 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.452-4944.251=0.201 | | σ | 0.019-0.322=-0.303 | | min | 4944.433-4943.675=0.758 | | max | 4944.477-4944.403=0.074 |
| | mean | 2995.200-2921.200=74.000 | | σ | 279.358-385.873=-106.515 | | min | 2769.000-2480.000=289.000 | | max | 3416.000-3461.000=-45.000 |
| | mean | 8.400-8.432=-0.032 | | σ | 0.038-0.056=-0.018 | | min | 8.344-8.382=-0.038 | | max | 8.450-8.514=-0.065 |
|