iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.198=-1.630 | | σ | 0.007-0.008=-0.001 | | min | 275.557-277.188=-1.631 | | max | 275.575-277.208=-1.633 |
| | mean | 2844.000-2699.000=145.000 | | σ | 0.000 | | min | 2844.000-2699.000=145.000 | | max | 2844.000-2699.000=145.000 |
| | mean | 0.404-0.407=-0.002 | | σ | 0.007-0.008=-0.001 | | min | 0.397-0.399=-0.002 | | max | 0.411-0.419=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2174.432=-6.332 | | σ | 0.010-0.011=-0.001 | | min | 2168.089-2174.421=-6.332 | | max | 2168.113-2174.448=-6.336 |
| | mean | 2844.000-2699.000=145.000 | | σ | 0.000 | | min | 2844.000-2699.000=145.000 | | max | 2844.000-2699.000=145.000 |
| | mean | 3.050-2.987=0.064 | | σ | 0.172-0.138=0.034 | | min | 2.811-2.771=0.039 | | max | 3.223-3.096=0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888-5052.644=-4.756 | | σ | 0.878-0.995=-0.117 | | min | 5047.414-5051.999=-4.586 | | max | 5049.450-5054.404=-4.954 |
| | mean | 2844.000-2699.000=145.000 | | σ | 0.000 | | min | 2844.000-2699.000=145.000 | | max | 2844.000-2699.000=145.000 |
| | mean | 8.830-8.682=0.147 | | σ | 0.374-0.730=-0.356 | | min | 8.214-8.083=0.131 | | max | 9.122-9.807=-0.685 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908-5188.424=-9.516 | | σ | 0.263-0.089=0.174 | | min | 5178.625-5188.350=-9.726 | | max | 5179.149-5188.521=-9.373 |
| | mean | 3250.600-3283.000=-32.400 | | σ | 328.141-426.320=-98.179 | | min | 2844.000-2699.000=145.000 | | max | 3695.000-3680.000=15.000 |
| | mean | 9.855-9.025=0.830 | | σ | 0.323-0.321=0.002 | | min | 9.463-8.826=0.637 | | max | 10.222-9.582=0.640 |
|