iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-278.836=0.706 | | σ | 0.010-0.017=-0.007 | | min | 279.529-278.808=0.721 | | max | 279.555-278.848=0.707 |
| | mean | 2741.000-2634.000=107.000 | | σ | 0.000 | | min | 2741.000-2634.000=107.000 | | max | 2741.000-2634.000=107.000 |
| | mean | 0.412-0.410=0.002 | | σ | 0.006-0.006=0.001 | | min | 0.405-0.406=-0.001 | | max | 0.420-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.452-2268.895=-90.443 | | σ | 0.035-0.008=0.027 | | min | 2178.404-2268.884=-90.480 | | max | 2178.492-2268.903=-90.411 |
| | mean | 2741.000-2634.000=107.000 | | σ | 0.000 | | min | 2741.000-2634.000=107.000 | | max | 2741.000-2634.000=107.000 |
| | mean | 3.311-3.122=0.190 | | σ | 0.174-0.216=-0.042 | | min | 3.091-2.914=0.177 | | max | 3.561-3.433=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.368-4954.128=102.240 | | σ | 0.916-0.941=-0.025 | | min | 5055.834-4953.329=102.505 | | max | 5057.994-4955.760=102.234 |
| | mean | 2741.000-2634.000=107.000 | | σ | 0.000 | | min | 2741.000-2634.000=107.000 | | max | 2741.000-2634.000=107.000 |
| | mean | 8.701-8.138=0.563 | | σ | 0.407-0.276=0.132 | | min | 8.071-7.856=0.215 | | max | 9.138-8.438=0.699 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.710-5168.750=24.960 | | σ | 0.210-0.215=-0.005 | | min | 5193.366-5168.392=24.974 | | max | 5193.884-5168.934=24.950 |
| | mean | 3226.000-3420.000=-194.000 | | σ | 353.971-500.785=-146.814 | | min | 2841.000-2835.000=6.000 | | max | 3760.000-4166.000=-406.000 |
| | mean | 8.723-9.349=-0.627 | | σ | 0.069-0.527=-0.458 | | min | 8.630-8.760=-0.130 | | max | 8.814-10.118=-1.304 |
|