iters=5 new-facts=1 prior-facts=1 | | mean | 274.877-191.171=83.706 | | σ | 0.011-0.008=0.003 | | min | 274.862-191.164=83.698 | | max | 274.888-191.185=83.704 |
| | mean | 2652.000-2650.000=2.000 | | σ | 0.000 | | min | 2652.000-2650.000=2.000 | | max | 2652.000-2650.000=2.000 |
| | mean | 0.410-0.281=0.129 | | σ | 0.003-0.001=0.002 | | min | 0.407-0.279=0.128 | | max | 0.415-0.282=0.133 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2265.121-1989.949=275.172 | | σ | 0.010-0.012=-0.002 | | min | 2265.106-1989.935=275.171 | | max | 2265.134-1989.963=275.171 |
| | mean | 2652.000-2650.000=2.000 | | σ | 0.000 | | min | 2652.000-2650.000=2.000 | | max | 2652.000-2650.000=2.000 |
| | mean | 2.925-2.546=0.379 | | σ | 0.106-0.220=-0.114 | | min | 2.812-2.330=0.482 | | max | 3.089-2.901=0.188 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.206-4880.412=71.794 | | σ | 0.813-0.653=0.160 | | min | 4951.726-4879.809=71.917 | | max | 4953.647-4881.525=72.122 |
| | mean | 2652.000-2650.000=2.000 | | σ | 0.000 | | min | 2652.000-2650.000=2.000 | | max | 2652.000-2650.000=2.000 |
| | mean | 8.062-8.167=-0.105 | | σ | 0.206-0.268=-0.063 | | min | 7.829-7.715=0.114 | | max | 8.280-8.377=-0.096 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.925-4892.149=274.776 | | σ | 0.087-0.088=-0.002 | | min | 5166.850-4892.076=274.775 | | max | 5167.022-4892.255=274.767 |
| | mean | 3440.400-3304.200=136.200 | | σ | 469.085-429.679=39.405 | | min | 2813.000-2886.000=-73.000 | | max | 4041.000-3744.000=297.000 |
| | mean | 9.470-8.132=1.338 | | σ | 0.219-0.127=0.092 | | min | 9.124-7.962=1.162 | | max | 9.712-8.281=1.430 |
|