iters=5 new-facts=1 prior-facts=1 | | mean | 285.665-326.571=-40.907 | | σ | 0.021-0.046=-0.025 | | min | 285.632-326.492=-40.860 | | max | 285.685-326.604=-40.919 |
| | mean | 1598.000-2591.000=-993.000 | | σ | 0.000 | | min | 1598.000-2591.000=-993.000 | | max | 1598.000-2591.000=-993.000 |
| | mean | 0.375-0.422=-0.047 | | σ | 0.001-0.001=-0.000 | | min | 0.374-0.420=-0.047 | | max | 0.376-0.423=-0.047 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.633-1988.726=-703.093 | | σ | 0.123-0.019=0.104 | | min | 1285.575-1988.710=-703.135 | | max | 1285.853-1988.748=-702.895 |
| | mean | 1598.000-2591.000=-993.000 | | σ | 0.000 | | min | 1598.000-2591.000=-993.000 | | max | 1598.000-2591.000=-993.000 |
| | mean | 1.882-2.671=-0.789 | | σ | 0.059-0.100=-0.041 | | min | 1.808-2.551=-0.744 | | max | 1.956-2.816=-0.859 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.994-4813.457=-3005.463 | | σ | 6.998-7.470=-0.471 | | min | 1804.649-4810.091=-3005.442 | | max | 1820.499-4826.819=-3006.321 |
| | mean | 1598.000-2591.000=-993.000 | | σ | 0.000 | | min | 1598.000-2591.000=-993.000 | | max | 1598.000-2591.000=-993.000 |
| | mean | 4.269-8.919=-4.649 | | σ | 0.171-0.194=-0.023 | | min | 4.078-8.606=-4.528 | | max | 4.481-9.114=-4.633 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.467-5001.134=-2930.667 | | σ | 0.011-0.026=-0.015 | | min | 2070.459-5001.105=-2930.647 | | max | 2070.485-5001.168=-2930.682 |
| | mean | 1851.800-3003.200=-1151.400 | | σ | 209.992-318.399=-108.407 | | min | 1598.000-2591.000=-993.000 | | max | 2087.000-3408.000=-1321.000 |
| | mean | 4.541-9.722=-5.181 | | σ | 0.107-0.233=-0.125 | | min | 4.416-9.319=-4.904 | | max | 4.687-9.882=-5.196 |
|