iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.193=-1.625 | | σ | 0.007-0.006=0.002 | | min | 275.557-277.188=-1.631 | | max | 275.575-277.202=-1.627 |
| | mean | 2844.000-2718.000=126.000 | | σ | 0.000 | | min | 2844.000-2718.000=126.000 | | max | 2844.000-2718.000=126.000 |
| | mean | 0.404-0.394=0.011 | | σ | 0.007-0.002=0.005 | | min | 0.397-0.391=0.005 | | max | 0.411-0.396=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2174.424=-6.323 | | σ | 0.010-0.013=-0.003 | | min | 2168.089-2174.405=-6.316 | | max | 2168.113-2174.433=-6.321 |
| | mean | 2844.000-2718.000=126.000 | | σ | 0.000 | | min | 2844.000-2718.000=126.000 | | max | 2844.000-2718.000=126.000 |
| | mean | 3.050-2.901=0.150 | | σ | 0.172-0.154=0.018 | | min | 2.811-2.773=0.038 | | max | 3.223-3.085=0.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888-5052.593=-4.704 | | σ | 0.878-0.988=-0.110 | | min | 5047.414-5052.000=-4.587 | | max | 5049.450-5054.345=-4.895 |
| | mean | 2844.000-2718.000=126.000 | | σ | 0.000 | | min | 2844.000-2718.000=126.000 | | max | 2844.000-2718.000=126.000 |
| | mean | 8.830-8.941=-0.111 | | σ | 0.374-0.586=-0.211 | | min | 8.214-8.073=0.141 | | max | 9.122-9.552=-0.430 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908-5188.350=-9.442 | | σ | 0.263-0.127=0.136 | | min | 5178.625-5188.164=-9.539 | | max | 5179.149-5188.523=-9.374 |
| | mean | 3250.600-3225.400=25.200 | | σ | 328.141-461.621=-133.480 | | min | 2844.000-2718.000=126.000 | | max | 3695.000-3863.000=-168.000 |
| | mean | 9.855-8.729=1.126 | | σ | 0.323-0.115=0.208 | | min | 9.463-8.666=0.797 | | max | 10.222-8.935=1.287 |
|