iters=5 new-facts=1 prior-facts=1 | | mean | 280.215-326.638=-46.423 | | σ | 0.010-0.050=-0.041 | | min | 280.203-326.549=-46.347 | | max | 280.225-326.673=-46.448 |
| | mean | 1473.000-2650.000=-1177.000 | | σ | 0.000 | | min | 1473.000-2650.000=-1177.000 | | max | 1473.000-2650.000=-1177.000 |
| | mean | 0.370-0.428=-0.058 | | σ | 0.004-0.006=-0.002 | | min | 0.368-0.423=-0.055 | | max | 0.377-0.435=-0.058 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.283-1988.807=-708.524 | | σ | 0.124-0.007=0.117 | | min | 1280.214-1988.796=-708.582 | | max | 1280.502-1988.813=-708.310 |
| | mean | 1473.000-2650.000=-1177.000 | | σ | 0.000 | | min | 1473.000-2650.000=-1177.000 | | max | 1473.000-2650.000=-1177.000 |
| | mean | 1.841-2.702=-0.860 | | σ | 0.040-0.086=-0.047 | | min | 1.799-2.598=-0.799 | | max | 1.902-2.799=-0.897 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.580-4813.427=-3010.847 | | σ | 7.057-7.872=-0.814 | | min | 1799.178-4809.065=-3009.888 | | max | 1815.188-4827.480=-3012.292 |
| | mean | 1473.000-2650.000=-1177.000 | | σ | 0.000 | | min | 1473.000-2650.000=-1177.000 | | max | 1473.000-2650.000=-1177.000 |
| | mean | 4.305-8.737=-4.433 | | σ | 0.203-0.483=-0.280 | | min | 4.006-8.076=-4.070 | | max | 4.481-9.161=-4.680 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.010-5001.207=-2936.198 | | σ | 0.011-0.046=-0.035 | | min | 2065.002-5001.158=-2936.156 | | max | 2065.028-5001.271=-2936.243 |
| | mean | 1802.000-3011.200=-1209.200 | | σ | 195.974-266.130=-70.156 | | min | 1561.000-2650.000=-1089.000 | | max | 1993.000-3353.000=-1360.000 |
| | mean | 4.412-9.500=-5.088 | | σ | 0.087-0.623=-0.536 | | min | 4.329-8.487=-4.158 | | max | 4.532-10.165=-5.633 |
|