iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-280.099=-0.586 | | σ | 0.008-0.007=0.001 | | min | 279.500-280.092=-0.592 | | max | 279.521-280.110=-0.589 |
| | mean | 2744.000-2827.000=-83.000 | | σ | 0.000 | | min | 2744.000-2827.000=-83.000 | | max | 2744.000-2827.000=-83.000 |
| | mean | 0.405-0.417=-0.012 | | σ | 0.005-0.008=-0.003 | | min | 0.400-0.409=-0.010 | | max | 0.413-0.427=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438-2270.150=-91.712 | | σ | 0.012-0.015=-0.004 | | min | 2178.426-2270.125=-91.699 | | max | 2178.455-2270.166=-91.711 |
| | mean | 2744.000-2827.000=-83.000 | | σ | 0.000 | | min | 2744.000-2827.000=-83.000 | | max | 2744.000-2827.000=-83.000 |
| | mean | 3.366-3.571=-0.205 | | σ | 0.211-0.215=-0.004 | | min | 3.194-3.307=-0.113 | | max | 3.728-3.820=-0.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.359-5139.176=-82.816 | | σ | 0.980-0.981=-0.001 | | min | 5055.804-5138.534=-82.731 | | max | 5058.104-5140.916=-82.812 |
| | mean | 2744.000-2827.000=-83.000 | | σ | 0.000 | | min | 2744.000-2827.000=-83.000 | | max | 2744.000-2827.000=-83.000 |
| | mean | 8.945-8.795=0.150 | | σ | 0.600-0.804=-0.204 | | min | 8.067-8.072=-0.006 | | max | 9.559-9.712=-0.153 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.736-5277.144=-83.407 | | σ | 0.095-0.195=-0.100 | | min | 5193.622-5276.823=-83.201 | | max | 5193.854-5277.323=-83.468 |
| | mean | 3220.400-3501.600=-281.200 | | σ | 467.854-522.500=-54.646 | | min | 2744.000-2827.000=-83.000 | | max | 3892.000-4007.000=-115.000 |
| | mean | 8.717-10.172=-1.455 | | σ | 0.204-0.203=0.001 | | min | 8.540-9.873=-1.333 | | max | 9.070-10.382=-1.312 |
|