iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.710=-0.004 | | σ | 0.048-0.032=0.016 | | min | 324.621-324.653=-0.033 | | max | 324.736-324.729=0.007 |
| | mean | 2826.000-2413.000=413.000 | | σ | 0.000 | | min | 2826.000-2413.000=413.000 | | max | 2826.000-2413.000=413.000 |
| | mean | 0.434-0.423=0.011 | | σ | 0.007-0.001=0.006 | | min | 0.424-0.422=0.002 | | max | 0.442-0.424=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258-1985.266=-0.008 | | σ | 0.023-0.010=0.013 | | min | 1985.229-1985.248=-0.019 | | max | 1985.280-1985.272=0.008 |
| | mean | 2826.000-2413.000=413.000 | | σ | 0.000 | | min | 2826.000-2413.000=413.000 | | max | 2826.000-2413.000=413.000 |
| | mean | 2.648-2.611=0.037 | | σ | 0.136-0.104=0.031 | | min | 2.529-2.502=0.027 | | max | 2.830-2.776=0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.765-4808.867=-0.102 | | σ | 7.693-7.655=0.037 | | min | 4804.759-4805.387=-0.628 | | max | 4822.513-4822.560=-0.047 |
| | mean | 2826.000-2413.000=413.000 | | σ | 0.000 | | min | 2826.000-2413.000=413.000 | | max | 2826.000-2413.000=413.000 |
| | mean | 8.659-8.928=-0.269 | | σ | 0.337-0.150=0.187 | | min | 8.225-8.766=-0.540 | | max | 9.051-9.070=-0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.467=-0.000 | | σ | 0.013-0.013=0.001 | | min | 4996.447-4996.452=-0.005 | | max | 4996.480-4996.481=-0.001 |
| | mean | 3058.200-2949.400=108.800 | | σ | 303.059-447.286=-144.227 | | min | 2826.000-2413.000=413.000 | | max | 3527.000-3541.000=-14.000 |
| | mean | 8.475-8.553=-0.078 | | σ | 0.154-0.216=-0.062 | | min | 8.388-8.404=-0.016 | | max | 8.749-8.918=-0.168 |
|