iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-279.511=-2.317 | | σ | 0.004-0.006=-0.002 | | min | 277.190-279.502=-2.312 | | max | 277.197-279.517=-2.320 |
| | mean | 2621.000-2727.000=-106.000 | | σ | 0.000 | | min | 2621.000-2727.000=-106.000 | | max | 2621.000-2727.000=-106.000 |
| | mean | 0.396-0.409=-0.013 | | σ | 0.004-0.011=-0.007 | | min | 0.393-0.402=-0.010 | | max | 0.403-0.429=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432-2178.442=-4.009 | | σ | 0.012-0.030=-0.018 | | min | 2174.415-2178.403=-3.988 | | max | 2174.449-2178.473=-4.025 |
| | mean | 2621.000-2727.000=-106.000 | | σ | 0.000 | | min | 2621.000-2727.000=-106.000 | | max | 2621.000-2727.000=-106.000 |
| | mean | 3.050-3.428=-0.378 | | σ | 0.225-0.318=-0.093 | | min | 2.830-3.203=-0.373 | | max | 3.333-3.989=-0.656 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.580-5056.360=-3.780 | | σ | 0.970-0.985=-0.016 | | min | 5052.020-5055.785=-3.765 | | max | 5054.305-5058.111=-3.806 |
| | mean | 2621.000-2727.000=-106.000 | | σ | 0.000 | | min | 2621.000-2727.000=-106.000 | | max | 2621.000-2727.000=-106.000 |
| | mean | 9.005-8.960=0.045 | | σ | 0.328-0.562=-0.234 | | min | 8.538-8.112=0.426 | | max | 9.336-9.483=-0.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.422-5193.749=-5.328 | | σ | 0.095-0.093=0.002 | | min | 5188.335-5193.669=-5.334 | | max | 5188.525-5193.856=-5.331 |
| | mean | 3269.800-3185.400=84.400 | | σ | 386.731-442.968=-56.237 | | min | 2729.000-2727.000=2.000 | | max | 3741.000-3803.000=-62.000 |
| | mean | 9.225-8.776=0.450 | | σ | 0.531-0.119=0.412 | | min | 8.729-8.659=0.069 | | max | 9.795-8.963=0.832 |
|