iters=5 new-facts=1 prior-facts=1 | | mean | 266.783-266.763=0.020 | | σ | 0.006-0.017=-0.011 | | min | 266.776-266.749=0.027 | | max | 266.791-266.793=-0.002 |
| | mean | 2474.000-2857.000=-383.000 | | σ | 0.000 | | min | 2474.000-2857.000=-383.000 | | max | 2474.000-2857.000=-383.000 |
| | mean | 0.364-0.365=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.363-0.363=-0.000 | | max | 0.366-0.366=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.212-1927.216=-0.004 | | σ | 0.014-0.010=0.004 | | min | 1927.193-1927.202=-0.009 | | max | 1927.227-1927.230=-0.003 |
| | mean | 2474.000-2857.000=-383.000 | | σ | 0.000 | | min | 2474.000-2857.000=-383.000 | | max | 2474.000-2857.000=-383.000 |
| | mean | 3.060-2.999=0.061 | | σ | 0.109-0.096=0.013 | | min | 2.972-2.876=0.096 | | max | 3.245-3.114=0.130 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.660-4747.728=-0.068 | | σ | 0.467-0.782=-0.315 | | min | 4747.379-4747.343=0.035 | | max | 4748.484-4749.125=-0.641 |
| | mean | 2474.000-2857.000=-383.000 | | σ | 0.000 | | min | 2474.000-2857.000=-383.000 | | max | 2474.000-2857.000=-383.000 |
| | mean | 7.870-8.240=-0.370 | | σ | 0.270-0.620=-0.350 | | min | 7.637-7.675=-0.039 | | max | 8.334-9.011=-0.677 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166-4938.170=-0.004 | | σ | 0.075-0.091=-0.016 | | min | 4938.106-4938.086=0.020 | | max | 4938.249-4938.272=-0.024 |
| | mean | 2963.800-3088.400=-124.600 | | σ | 430.332-310.236=120.096 | | min | 2474.000-2857.000=-383.000 | | max | 3544.000-3572.000=-28.000 |
| | mean | 8.466-8.517=-0.052 | | σ | 0.170-0.279=-0.109 | | min | 8.332-8.285=0.047 | | max | 8.753-8.953=-0.201 |
|