iters=5 new-facts=1 prior-facts=1 | | mean | 270.143-270.129=0.015 | | σ | 0.006-0.006=0.000 | | min | 270.134-270.121=0.012 | | max | 270.149-270.136=0.013 |
| | mean | 2413.000-2417.000=-4.000 | | σ | 0.000 | | min | 2413.000-2417.000=-4.000 | | max | 2413.000-2417.000=-4.000 |
| | mean | 0.381-0.380=0.000 | | σ | 0.007-0.006=0.001 | | min | 0.371-0.377=-0.006 | | max | 0.392-0.391=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.588=0.018 | | σ | 0.008-0.011=-0.003 | | min | 1930.600-1930.574=0.026 | | max | 1930.620-1930.602=0.018 |
| | mean | 2413.000-2417.000=-4.000 | | σ | 0.000 | | min | 2413.000-2417.000=-4.000 | | max | 2413.000-2417.000=-4.000 |
| | mean | 2.496-2.549=-0.053 | | σ | 0.135-0.123=0.012 | | min | 2.331-2.400=-0.069 | | max | 2.695-2.657=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.315-4750.972=0.343 | | σ | 0.943-0.988=-0.045 | | min | 4750.757-4749.899=0.859 | | max | 4752.991-4752.598=0.392 |
| | mean | 2413.000-2417.000=-4.000 | | σ | 0.000 | | min | 2413.000-2417.000=-4.000 | | max | 2413.000-2417.000=-4.000 |
| | mean | 8.633-8.723=-0.091 | | σ | 0.498-0.516=-0.018 | | min | 7.934-8.082=-0.147 | | max | 9.222-9.489=-0.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.701-4941.532=0.169 | | σ | 0.160-0.083=0.077 | | min | 4941.415-4941.463=-0.048 | | max | 4941.789-4941.637=0.151 |
| | mean | 2985.200-3008.800=-23.600 | | σ | 283.078-375.900=-92.822 | | min | 2599.000-2530.000=69.000 | | max | 3320.000-3372.000=-52.000 |
| | mean | 8.541-8.569=-0.028 | | σ | 0.125-0.205=-0.080 | | min | 8.427-8.373=0.054 | | max | 8.720-8.880=-0.160 |
|