iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-278.701=0.811 | | σ | 0.007-0.010=-0.003 | | min | 279.503-278.690=0.813 | | max | 279.517-278.717=0.800 |
| | mean | 2746.000-2654.000=92.000 | | σ | 0.000 | | min | 2746.000-2654.000=92.000 | | max | 2746.000-2654.000=92.000 |
| | mean | 0.409-0.418=-0.009 | | σ | 0.002-0.002=-0.000 | | min | 0.405-0.415=-0.010 | | max | 0.410-0.421=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2268.874=-90.456 | | σ | 0.034-0.005=0.029 | | min | 2178.359-2268.869=-90.509 | | max | 2178.443-2268.879=-90.436 |
| | mean | 2746.000-2654.000=92.000 | | σ | 0.000 | | min | 2746.000-2654.000=92.000 | | max | 2746.000-2654.000=92.000 |
| | mean | 3.432-3.106=0.325 | | σ | 0.172-0.189=-0.017 | | min | 3.271-2.878=0.393 | | max | 3.620-3.346=0.274 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.392-4952.198=104.194 | | σ | 1.004-0.771=0.233 | | min | 5055.790-4951.729=104.061 | | max | 5058.177-4953.568=104.609 |
| | mean | 2746.000-2654.000=92.000 | | σ | 0.000 | | min | 2746.000-2654.000=92.000 | | max | 2746.000-2654.000=92.000 |
| | mean | 8.715-7.889=0.826 | | σ | 0.657-0.276=0.381 | | min | 8.163-7.616=0.547 | | max | 9.736-8.348=1.389 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.689-5166.916=26.772 | | σ | 0.212-0.023=0.189 | | min | 5193.338-5166.886=26.452 | | max | 5193.874-5166.948=26.926 |
| | mean | 3285.800-3376.400=-90.600 | | σ | 404.146-526.876=-122.731 | | min | 2746.000-2907.000=-161.000 | | max | 3673.000-4135.000=-462.000 |
| | mean | 8.832-9.121=-0.288 | | σ | 0.095-0.379=-0.284 | | min | 8.705-8.540=0.165 | | max | 8.970-9.518=-0.548 |
|