iters=5 new-facts=1 prior-facts=1 | | mean | 279.318-279.512=-0.194 | | σ | 0.006-0.007=-0.001 | | min | 279.310-279.503=-0.193 | | max | 279.324-279.517=-0.194 |
| | mean | 2730.000-2746.000=-16.000 | | σ | 0.000 | | min | 2730.000-2746.000=-16.000 | | max | 2730.000-2746.000=-16.000 |
| | mean | 0.412-0.409=0.003 | | σ | 0.006-0.002=0.004 | | min | 0.407-0.405=0.002 | | max | 0.419-0.410=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.262-2178.418=-0.156 | | σ | 0.023-0.034=-0.010 | | min | 2178.221-2178.359=-0.139 | | max | 2178.277-2178.443=-0.166 |
| | mean | 2730.000-2746.000=-16.000 | | σ | 0.000 | | min | 2730.000-2746.000=-16.000 | | max | 2730.000-2746.000=-16.000 |
| | mean | 3.332-3.432=-0.100 | | σ | 0.130-0.172=-0.042 | | min | 3.232-3.271=-0.039 | | max | 3.559-3.620=-0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.799-5056.392=-8.593 | | σ | 1.116-1.004=0.112 | | min | 5046.722-5055.790=-9.068 | | max | 5049.687-5058.177=-8.491 |
| | mean | 2730.000-2746.000=-16.000 | | σ | 0.000 | | min | 2730.000-2746.000=-16.000 | | max | 2730.000-2746.000=-16.000 |
| | mean | 8.799-8.715=0.085 | | σ | 0.540-0.657=-0.117 | | min | 8.105-8.163=-0.058 | | max | 9.445-9.736=-0.291 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.171-5193.689=-8.518 | | σ | 0.259-0.212=0.047 | | min | 5184.889-5193.338=-8.449 | | max | 5185.411-5193.874=-8.463 |
| | mean | 3191.400-3285.800=-94.400 | | σ | 355.151-404.146=-48.995 | | min | 2820.000-2746.000=74.000 | | max | 3735.000-3673.000=62.000 |
| | mean | 9.002-8.832=0.169 | | σ | 0.473-0.095=0.378 | | min | 8.611-8.705=-0.095 | | max | 9.767-8.970=0.796 |
|