iters=5 new-facts=1 prior-facts=1 | | mean | 278.791-278.677=0.115 | | σ | 0.005-0.008=-0.003 | | min | 278.787-278.667=0.120 | | max | 278.799-278.688=0.111 |
| | mean | 2705.000-2676.000=29.000 | | σ | 0.000 | | min | 2705.000-2676.000=29.000 | | max | 2705.000-2676.000=29.000 |
| | mean | 0.408-0.419=-0.011 | | σ | 0.005-0.006=-0.001 | | min | 0.404-0.416=-0.011 | | max | 0.417-0.429=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.857-2268.842=0.015 | | σ | 0.008-0.010=-0.002 | | min | 2268.848-2268.826=0.022 | | max | 2268.867-2268.851=0.016 |
| | mean | 2705.000-2676.000=29.000 | | σ | 0.000 | | min | 2705.000-2676.000=29.000 | | max | 2705.000-2676.000=29.000 |
| | mean | 3.053-3.229=-0.177 | | σ | 0.154-0.294=-0.140 | | min | 2.901-2.867=0.034 | | max | 3.234-3.689=-0.455 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.248-4952.111=2.138 | | σ | 0.915-0.238=0.677 | | min | 4953.632-4951.967=1.665 | | max | 4955.864-4952.529=3.335 |
| | mean | 2705.000-2676.000=29.000 | | σ | 0.000 | | min | 2705.000-2676.000=29.000 | | max | 2705.000-2676.000=29.000 |
| | mean | 8.013-7.766=0.248 | | σ | 0.411-0.163=0.248 | | min | 7.730-7.624=0.106 | | max | 8.728-7.978=0.751 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.795-5166.985=1.810 | | σ | 0.096-0.164=-0.067 | | min | 5168.689-5166.696=1.994 | | max | 5168.894-5167.098=1.796 |
| | mean | 3324.800-3335.400=-10.600 | | σ | 400.169-416.644=-16.475 | | min | 2930.000-2914.000=16.000 | | max | 3730.000-3747.000=-17.000 |
| | mean | 9.168-9.324=-0.156 | | σ | 0.611-0.629=-0.017 | | min | 8.584-8.968=-0.384 | | max | 10.039-10.432=-0.393 |
|