iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-266.782=3.151 | | σ | 0.006-0.007=-0.002 | | min | 269.926-266.775=3.152 | | max | 269.940-266.793=3.148 |
| | mean | 2791.000-2846.000=-55.000 | | σ | 0.000 | | min | 2791.000-2846.000=-55.000 | | max | 2791.000-2846.000=-55.000 |
| | mean | 0.372-0.371=0.001 | | σ | 0.004-0.008=-0.004 | | min | 0.369-0.365=0.004 | | max | 0.379-0.380=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389-1927.219=3.170 | | σ | 0.012-0.010=0.002 | | min | 1930.377-1927.210=3.167 | | max | 1930.403-1927.234=3.168 |
| | mean | 2791.000-2846.000=-55.000 | | σ | 0.000 | | min | 2791.000-2846.000=-55.000 | | max | 2791.000-2846.000=-55.000 |
| | mean | 2.836-2.915=-0.080 | | σ | 0.225-0.313=-0.088 | | min | 2.673-2.378=0.294 | | max | 3.223-3.171=0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.625-4747.635=2.990 | | σ | 0.353-0.479=-0.126 | | min | 4750.348-4747.358=2.989 | | max | 4751.240-4748.487=2.753 |
| | mean | 2791.000-2846.000=-55.000 | | σ | 0.000 | | min | 2791.000-2846.000=-55.000 | | max | 2791.000-2846.000=-55.000 |
| | mean | 8.729-8.233=0.496 | | σ | 0.510-0.339=0.171 | | min | 7.837-7.735=0.102 | | max | 9.029-8.666=0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.325-4938.169=3.156 | | σ | 0.088-0.094=-0.006 | | min | 4941.248-4938.071=3.177 | | max | 4941.434-4938.275=3.159 |
| | mean | 3039.000-3068.800=-29.800 | | σ | 294.150-235.131=59.019 | | min | 2791.000-2846.000=-55.000 | | max | 3474.000-3410.000=64.000 |
| | mean | 8.514-8.744=-0.230 | | σ | 0.132-0.285=-0.153 | | min | 8.302-8.396=-0.094 | | max | 8.627-9.149=-0.522 |
|