iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.565=0.006 | | σ | 0.056-0.059=-0.003 | | min | 326.473-326.460=0.014 | | max | 326.609-326.598=0.012 |
| | mean | 2835.000-2677.000=158.000 | | σ | 0.000 | | min | 2835.000-2677.000=158.000 | | max | 2835.000-2677.000=158.000 |
| | mean | 0.424-0.425=-0.000 | | σ | 0.005-0.005=-0.000 | | min | 0.421-0.422=-0.000 | | max | 0.433-0.434=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.745-1988.730=0.014 | | σ | 0.008-0.016=-0.008 | | min | 1988.737-1988.711=0.026 | | max | 1988.755-1988.754=0.001 |
| | mean | 2835.000-2677.000=158.000 | | σ | 0.000 | | min | 2835.000-2677.000=158.000 | | max | 2835.000-2677.000=158.000 |
| | mean | 2.668-2.754=-0.086 | | σ | 0.134-0.130=0.004 | | min | 2.511-2.609=-0.098 | | max | 2.857-2.944=-0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.466-4813.568=-0.102 | | σ | 7.787-7.712=0.075 | | min | 4809.657-4810.040=-0.383 | | max | 4827.391-4827.363=0.028 |
| | mean | 2835.000-2677.000=158.000 | | σ | 0.000 | | min | 2835.000-2677.000=158.000 | | max | 2835.000-2677.000=158.000 |
| | mean | 8.777-8.450=0.328 | | σ | 0.345-0.457=-0.112 | | min | 8.270-7.803=0.467 | | max | 9.177-9.049=0.128 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.136-5001.005=0.132 | | σ | 0.020-0.321=-0.301 | | min | 5001.109-5000.434=0.676 | | max | 5001.157-5001.191=-0.034 |
| | mean | 3054.600-2959.000=95.600 | | σ | 188.957-315.851=-126.894 | | min | 2835.000-2677.000=158.000 | | max | 3318.000-3412.000=-94.000 |
| | mean | 9.764-9.934=-0.169 | | σ | 0.097-0.281=-0.184 | | min | 9.670-9.748=-0.079 | | max | 9.910-10.413=-0.503 |
|