iters=5 new-facts=1 prior-facts=1 | | mean | 270.608-270.141=0.467 | | σ | 0.007-0.007=0.001 | | min | 270.598-270.135=0.463 | | max | 270.616-270.152=0.465 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 0.379-0.377=0.002 | | σ | 0.006-0.003=0.003 | | min | 0.371-0.372=-0.001 | | max | 0.385-0.379=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.042-1930.597=0.445 | | σ | 0.018-0.017=0.001 | | min | 1931.025-1930.573=0.452 | | max | 1931.071-1930.618=0.453 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 2.866-2.567=0.299 | | σ | 0.225-0.121=0.105 | | min | 2.489-2.434=0.055 | | max | 3.075-2.721=0.353 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.733-4751.127=0.606 | | σ | 0.924-0.754=0.170 | | min | 4751.253-4750.344=0.909 | | max | 4753.384-4752.372=1.011 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 8.665-8.266=0.399 | | σ | 0.512-0.515=-0.003 | | min | 7.821-7.660=0.161 | | max | 9.093-8.932=0.161 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.240-4941.696=0.544 | | σ | 0.023-0.163=-0.140 | | min | 4942.217-4941.409=0.808 | | max | 4942.268-4941.795=0.473 |
| | mean | 3030.600-2996.600=34.000 | | σ | 236.158-363.796=-127.637 | | min | 2771.000-2662.000=109.000 | | max | 3331.000-3511.000=-180.000 |
| | mean | 8.641-8.584=0.058 | | σ | 0.194-0.352=-0.158 | | min | 8.417-8.304=0.113 | | max | 8.828-9.176=-0.348 |
|