iters=5 new-facts=1 prior-facts=1 | | mean | 270.238-270.114=0.124 | | σ | 0.009-0.013=-0.003 | | min | 270.224-270.096=0.127 | | max | 270.246-270.133=0.114 |
| | mean | 2814.000-2847.000=-33.000 | | σ | 0.000 | | min | 2814.000-2847.000=-33.000 | | max | 2814.000-2847.000=-33.000 |
| | mean | 0.382-0.375=0.007 | | σ | 0.008-0.004=0.004 | | min | 0.374-0.371=0.003 | | max | 0.396-0.381=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.707-1930.589=0.118 | | σ | 0.006-0.017=-0.011 | | min | 1930.698-1930.564=0.134 | | max | 1930.714-1930.604=0.111 |
| | mean | 2814.000-2847.000=-33.000 | | σ | 0.000 | | min | 2814.000-2847.000=-33.000 | | max | 2814.000-2847.000=-33.000 |
| | mean | 2.519-2.579=-0.060 | | σ | 0.077-0.115=-0.038 | | min | 2.446-2.430=0.016 | | max | 2.613-2.722=-0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.397-4751.127=0.270 | | σ | 0.845-0.813=0.032 | | min | 4750.919-4750.667=0.252 | | max | 4752.898-4752.572=0.326 |
| | mean | 2814.000-2847.000=-33.000 | | σ | 0.000 | | min | 2814.000-2847.000=-33.000 | | max | 2814.000-2847.000=-33.000 |
| | mean | 8.436-8.124=0.313 | | σ | 0.450-0.510=-0.060 | | min | 7.862-7.780=0.082 | | max | 8.918-9.016=-0.097 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.870-4941.524=0.347 | | σ | 0.019-0.074=-0.055 | | min | 4941.851-4941.459=0.392 | | max | 4941.894-4941.604=0.291 |
| | mean | 3029.000-3081.600=-52.600 | | σ | 215.841-309.385=-93.543 | | min | 2814.000-2847.000=-33.000 | | max | 3319.000-3561.000=-242.000 |
| | mean | 8.552-8.382=0.171 | | σ | 0.169-0.141=0.028 | | min | 8.361-8.254=0.107 | | max | 8.805-8.621=0.184 |
|