iters=5 new-facts=1 prior-facts=1 | | mean | 277.734-277.737=-0.003 | | σ | 0.010-0.012=-0.002 | | min | 277.720-277.719=0.000 | | max | 277.747-277.751=-0.004 |
| | mean | 2642.000-2637.000=5.000 | | σ | 0.000 | | min | 2642.000-2637.000=5.000 | | max | 2642.000-2637.000=5.000 |
| | mean | 0.412-0.412=0.000 | | σ | 0.002-0.005=-0.002 | | min | 0.410-0.409=0.001 | | max | 0.416-0.420=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2267.890=-0.001 | | σ | 0.003-0.003=0.000 | | min | 2267.885-2267.885=0.000 | | max | 2267.891-2267.893=-0.002 |
| | mean | 2642.000-2637.000=5.000 | | σ | 0.000 | | min | 2642.000-2637.000=5.000 | | max | 2642.000-2637.000=5.000 |
| | mean | 3.195-3.160=0.035 | | σ | 0.192-0.203=-0.011 | | min | 2.919-2.905=0.014 | | max | 3.382-3.389=-0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.137-4955.052=0.085 | | σ | 1.170-1.151=0.019 | | min | 4954.479-4954.176=0.303 | | max | 4957.218-4957.066=0.151 |
| | mean | 2642.000-2637.000=5.000 | | σ | 0.000 | | min | 2642.000-2637.000=5.000 | | max | 2642.000-2637.000=5.000 |
| | mean | 8.311-8.080=0.231 | | σ | 0.305-0.426=-0.120 | | min | 7.976-7.709=0.267 | | max | 8.642-8.673=-0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.723-5169.789=-0.066 | | σ | 0.221-0.089=0.132 | | min | 5169.348-5169.692=-0.344 | | max | 5169.877-5169.869=0.008 |
| | mean | 3401.600-3376.400=25.200 | | σ | 539.537-518.361=21.176 | | min | 2921.000-2911.000=10.000 | | max | 4179.000-4118.000=61.000 |
| | mean | 9.578-9.477=0.101 | | σ | 0.226-0.411=-0.186 | | min | 9.413-8.832=0.582 | | max | 9.929-9.956=-0.028 |
|