iters=5 new-facts=1 prior-facts=1 | | mean | 277.904-279.577=-1.673 | | σ | 0.005-0.010=-0.005 | | min | 277.898-279.566=-1.668 | | max | 277.912-279.587=-1.675 |
| | mean | 2650.000-2646.000=4.000 | | σ | 0.000 | | min | 2650.000-2646.000=4.000 | | max | 2650.000-2646.000=4.000 |
| | mean | 0.408-0.412=-0.004 | | σ | 0.006-0.005=0.001 | | min | 0.405-0.409=-0.005 | | max | 0.419-0.421=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2165.826-2172.207=-6.382 | | σ | 0.030-0.018=0.012 | | min | 2165.786-2172.176=-6.390 | | max | 2165.869-2172.218=-6.349 |
| | mean | 2650.000-2646.000=4.000 | | σ | 0.000 | | min | 2650.000-2646.000=4.000 | | max | 2650.000-2646.000=4.000 |
| | mean | 2.839-3.026=-0.187 | | σ | 0.130-0.154=-0.025 | | min | 2.753-2.795=-0.042 | | max | 3.068-3.208=-0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.272-5054.048=-4.776 | | σ | 0.800-1.054=-0.254 | | min | 5048.281-5053.212=-4.930 | | max | 5050.508-5055.883=-5.375 |
| | mean | 2650.000-2646.000=4.000 | | σ | 0.000 | | min | 2650.000-2646.000=4.000 | | max | 2650.000-2646.000=4.000 |
| | mean | 9.207-9.348=-0.141 | | σ | 0.648-0.189=0.459 | | min | 8.336-9.068=-0.733 | | max | 10.063-9.527=0.535 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5191.815-5201.398=-9.582 | | σ | 0.267-0.105=0.162 | | min | 5191.357-5201.292=-9.935 | | max | 5192.052-5201.508=-9.457 |
| | mean | 3162.800-3293.000=-130.200 | | σ | 443.321-412.667=30.654 | | min | 2650.000-2717.000=-67.000 | | max | 3779.000-3671.000=108.000 |
| | mean | 9.886-10.143=-0.256 | | σ | 0.230-0.293=-0.063 | | min | 9.602-9.677=-0.075 | | max | 10.179-10.466=-0.288 |
|