iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.699=-0.024 | | σ | 0.012-0.012=0.000 | | min | 278.658-278.681=-0.023 | | max | 278.690-278.712=-0.022 |
| | mean | 2666.000-2701.000=-35.000 | | σ | 0.000 | | min | 2666.000-2701.000=-35.000 | | max | 2666.000-2701.000=-35.000 |
| | mean | 0.419-0.418=0.001 | | σ | 0.002-0.000=0.001 | | min | 0.417-0.418=-0.001 | | max | 0.421-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.844-2268.841=0.003 | | σ | 0.010-0.015=-0.005 | | min | 2268.832-2268.827=0.005 | | max | 2268.855-2268.858=-0.003 |
| | mean | 2666.000-2701.000=-35.000 | | σ | 0.000 | | min | 2666.000-2701.000=-35.000 | | max | 2666.000-2701.000=-35.000 |
| | mean | 3.065-3.447=-0.382 | | σ | 0.145-0.185=-0.040 | | min | 2.898-3.161=-0.263 | | max | 3.268-3.612=-0.345 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.120-4955.779=-3.659 | | σ | 0.914-0.579=0.335 | | min | 4951.331-4955.211=-3.880 | | max | 4953.693-4956.737=-3.044 |
| | mean | 2666.000-2701.000=-35.000 | | σ | 0.000 | | min | 2666.000-2701.000=-35.000 | | max | 2666.000-2701.000=-35.000 |
| | mean | 8.061-7.947=0.114 | | σ | 0.371-0.187=0.184 | | min | 7.623-7.797=-0.173 | | max | 8.590-8.255=0.335 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.919-5170.597=-3.678 | | σ | 0.226-0.263=-0.037 | | min | 5166.535-5170.317=-3.782 | | max | 5167.070-5170.842=-3.772 |
| | mean | 3432.600-3454.200=-21.600 | | σ | 486.764-481.242=5.521 | | min | 2882.000-2834.000=48.000 | | max | 4161.000-4131.000=30.000 |
| | mean | 9.204-9.366=-0.161 | | σ | 0.380-0.345=0.035 | | min | 8.745-9.049=-0.305 | | max | 9.594-9.895=-0.300 |
|