iters=5 new-facts=1 prior-facts=1 | | mean | 270.127-269.933=0.194 | | σ | 0.004-0.006=-0.003 | | min | 270.121-269.926=0.195 | | max | 270.131-269.941=0.190 |
| | mean | 2413.000-2848.000=-435.000 | | σ | 0.000 | | min | 2413.000-2848.000=-435.000 | | max | 2413.000-2848.000=-435.000 |
| | mean | 0.378-0.373=0.005 | | σ | 0.001-0.007=-0.006 | | min | 0.376-0.368=0.008 | | max | 0.379-0.386=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.598-1930.396=0.203 | | σ | 0.006-0.012=-0.006 | | min | 1930.589-1930.376=0.213 | | max | 1930.604-1930.409=0.195 |
| | mean | 2413.000-2848.000=-435.000 | | σ | 0.000 | | min | 2413.000-2848.000=-435.000 | | max | 2413.000-2848.000=-435.000 |
| | mean | 2.595-2.494=0.101 | | σ | 0.094-0.050=0.044 | | min | 2.513-2.441=0.072 | | max | 2.750-2.569=0.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.017-4750.522=0.495 | | σ | 0.877-1.207=-0.330 | | min | 4750.333-4749.316=1.017 | | max | 4752.553-4752.463=0.089 |
| | mean | 2413.000-2848.000=-435.000 | | σ | 0.000 | | min | 2413.000-2848.000=-435.000 | | max | 2413.000-2848.000=-435.000 |
| | mean | 8.148-8.726=-0.578 | | σ | 0.361-0.553=-0.191 | | min | 7.821-7.787=0.034 | | max | 8.602-9.231=-0.629 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.534-4941.261=0.273 | | σ | 0.082-0.201=-0.119 | | min | 4941.463-4940.935=0.528 | | max | 4941.627-4941.427=0.200 |
| | mean | 2966.200-3043.600=-77.400 | | σ | 413.398-199.691=213.707 | | min | 2445.000-2848.000=-403.000 | | max | 3520.000-3320.000=200.000 |
| | mean | 8.633-8.520=0.114 | | σ | 0.381-0.177=0.204 | | min | 8.349-8.348=0.001 | | max | 9.258-8.775=0.483 |
|