iters=5 new-facts=1 prior-facts=1 | | mean | 280.215-337.088=-56.873 | | σ | 0.010-18.105=-18.095 | | min | 280.203-304.702=-24.499 | | max | 280.225-345.233=-65.008 |
| | mean | 1473.000-2766.000=-1293.000 | | σ | 0.000 | | min | 1473.000-2766.000=-1293.000 | | max | 1473.000-2766.000=-1293.000 |
| | mean | 0.370-0.436=-0.066 | | σ | 0.004-0.028=-0.024 | | min | 0.368-0.386=-0.018 | | max | 0.377-0.455=-0.078 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.283-2007.367=-727.084 | | σ | 0.124-0.011=0.113 | | min | 1280.214-2007.350=-727.136 | | max | 1280.502-2007.378=-726.876 |
| | mean | 1473.000-2766.000=-1293.000 | | σ | 0.000 | | min | 1473.000-2766.000=-1293.000 | | max | 1473.000-2766.000=-1293.000 |
| | mean | 1.841-2.778=-0.937 | | σ | 0.040-0.133=-0.093 | | min | 1.799-2.683=-0.884 | | max | 1.902-3.010=-1.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.580-4832.148=-3029.568 | | σ | 7.057-7.809=-0.751 | | min | 1799.178-4828.173=-3028.995 | | max | 1815.188-4846.107=-3030.919 |
| | mean | 1473.000-2766.000=-1293.000 | | σ | 0.000 | | min | 1473.000-2766.000=-1293.000 | | max | 1473.000-2766.000=-1293.000 |
| | mean | 4.305-8.687=-4.382 | | σ | 0.203-0.687=-0.484 | | min | 4.006-7.762=-3.756 | | max | 4.481-9.334=-4.853 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.010-5019.703=-2954.693 | | σ | 0.011-0.162=-0.151 | | min | 2065.002-5019.416=-2954.414 | | max | 2065.028-5019.791=-2954.763 |
| | mean | 1802.000-2992.200=-1190.200 | | σ | 195.974-222.365=-26.391 | | min | 1561.000-2766.000=-1205.000 | | max | 1993.000-3314.000=-1321.000 |
| | mean | 4.412-9.805=-5.394 | | σ | 0.087-0.165=-0.078 | | min | 4.329-9.578=-5.249 | | max | 4.532-10.038=-5.506 |
|