iters=5 new-facts=1 prior-facts=1 | | mean | 280.283-278.819=1.465 | | σ | 0.006-0.013=-0.007 | | min | 280.277-278.797=1.480 | | max | 280.290-278.831=1.459 |
| | mean | 2752.000-2720.000=32.000 | | σ | 0.000 | | min | 2752.000-2720.000=32.000 | | max | 2752.000-2720.000=32.000 |
| | mean | 0.416-0.413=0.003 | | σ | 0.003-0.005=-0.001 | | min | 0.413-0.408=0.005 | | max | 0.421-0.420=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.274-2268.890=1.384 | | σ | 0.051-0.012=0.039 | | min | 2270.190-2268.881=1.309 | | max | 2270.326-2268.910=1.415 |
| | mean | 2752.000-2720.000=32.000 | | σ | 0.000 | | min | 2752.000-2720.000=32.000 | | max | 2752.000-2720.000=32.000 |
| | mean | 3.040-3.188=-0.148 | | σ | 0.152-0.214=-0.062 | | min | 2.865-2.915=-0.050 | | max | 3.179-3.427=-0.248 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.608-4954.230=193.378 | | σ | 1.008-0.985=0.023 | | min | 5146.978-4953.657=193.321 | | max | 5149.400-4955.976=193.423 |
| | mean | 2752.000-2720.000=32.000 | | σ | 0.000 | | min | 2752.000-2720.000=32.000 | | max | 2752.000-2720.000=32.000 |
| | mean | 8.910-8.295=0.615 | | σ | 0.778-0.407=0.371 | | min | 8.194-7.837=0.357 | | max | 9.908-8.771=1.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582-5168.753=116.828 | | σ | 0.206-0.223=-0.017 | | min | 5285.254-5168.375=116.879 | | max | 5285.755-5168.897=116.858 |
| | mean | 3475.200-3315.200=160.000 | | σ | 525.858-388.534=137.324 | | min | 2771.000-2929.000=-158.000 | | max | 3974.000-3706.000=268.000 |
| | mean | 10.216-9.272=0.944 | | σ | 0.159-0.345=-0.186 | | min | 9.994-8.932=1.062 | | max | 10.402-9.789=0.613 |
|