iters=5 new-facts=1 prior-facts=1 | | mean | 273.500-273.506=-0.006 | | σ | 0.007-0.006=0.001 | | min | 273.490-273.500=-0.010 | | max | 273.507-273.515=-0.008 |
| | mean | 2774.000-2870.000=-96.000 | | σ | 0.000 | | min | 2774.000-2870.000=-96.000 | | max | 2774.000-2870.000=-96.000 |
| | mean | 0.376-0.385=-0.009 | | σ | 0.005-0.005=0.001 | | min | 0.371-0.381=-0.010 | | max | 0.384-0.393=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.891-1793.629=140.262 | | σ | 0.006-313.660=-313.654 | | min | 1933.886-1232.537=701.349 | | max | 1933.901-1933.937=-0.036 |
| | mean | 2774.000-2870.000=-96.000 | | σ | 0.000 | | min | 2774.000-2870.000=-96.000 | | max | 2774.000-2870.000=-96.000 |
| | mean | 2.996-2.905=0.091 | | σ | 0.137-0.693=-0.556 | | min | 2.800-1.672=1.128 | | max | 3.147-3.321=-0.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.507-4754.703=-0.196 | | σ | 0.639-0.806=-0.167 | | min | 4754.141-4754.195=-0.055 | | max | 4755.646-4756.135=-0.489 |
| | mean | 2774.000-2870.000=-96.000 | | σ | 0.000 | | min | 2774.000-2870.000=-96.000 | | max | 2774.000-2870.000=-96.000 |
| | mean | 8.778-8.087=0.692 | | σ | 0.143-0.484=-0.341 | | min | 8.613-7.714=0.899 | | max | 8.998-8.823=0.175 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.044-4945.049=-0.005 | | σ | 0.163-0.166=-0.003 | | min | 4944.754-4944.754=0.000 | | max | 4945.129-4945.138=-0.009 |
| | mean | 3046.200-3032.200=14.000 | | σ | 232.357-225.444=6.912 | | min | 2774.000-2870.000=-96.000 | | max | 3328.000-3354.000=-26.000 |
| | mean | 8.553-8.577=-0.023 | | σ | 0.151-0.106=0.045 | | min | 8.378-8.438=-0.060 | | max | 8.770-8.695=0.075 |
|