iters=5 new-facts=1 prior-facts=1 | | mean | 270.238-270.139=0.099 | | σ | 0.009-0.009=0.000 | | min | 270.224-270.131=0.093 | | max | 270.246-270.154=0.093 |
| | mean | 2814.000-2769.000=45.000 | | σ | 0.000 | | min | 2814.000-2769.000=45.000 | | max | 2814.000-2769.000=45.000 |
| | mean | 0.382-0.377=0.005 | | σ | 0.008-0.004=0.004 | | min | 0.374-0.371=0.003 | | max | 0.396-0.382=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.707-1930.607=0.100 | | σ | 0.006-0.007=-0.001 | | min | 1930.698-1930.596=0.102 | | max | 1930.714-1930.615=0.099 |
| | mean | 2814.000-2769.000=45.000 | | σ | 0.000 | | min | 2814.000-2769.000=45.000 | | max | 2814.000-2769.000=45.000 |
| | mean | 2.519-2.512=0.007 | | σ | 0.077-0.085=-0.008 | | min | 2.446-2.431=0.015 | | max | 2.613-2.654=-0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.397-4751.332=0.064 | | σ | 0.845-0.888=-0.043 | | min | 4750.919-4750.819=0.101 | | max | 4752.898-4752.914=-0.016 |
| | mean | 2814.000-2769.000=45.000 | | σ | 0.000 | | min | 2814.000-2769.000=45.000 | | max | 2814.000-2769.000=45.000 |
| | mean | 8.436-8.413=0.024 | | σ | 0.450-0.465=-0.015 | | min | 7.862-7.741=0.121 | | max | 8.918-8.979=-0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.870-4941.699=0.171 | | σ | 0.019-0.144=-0.126 | | min | 4941.851-4941.443=0.408 | | max | 4941.894-4941.790=0.105 |
| | mean | 3029.000-3044.400=-15.400 | | σ | 215.841-235.302=-19.460 | | min | 2814.000-2769.000=45.000 | | max | 3319.000-3371.000=-52.000 |
| | mean | 8.552-8.680=-0.127 | | σ | 0.169-0.208=-0.039 | | min | 8.361-8.394=-0.033 | | max | 8.805-8.925=-0.120 |
|