iters=5 new-facts=1 prior-facts=1 | | mean | 269.374-272.750=-3.376 | | σ | 0.008-0.014=-0.006 | | min | 269.367-272.737=-3.370 | | max | 269.387-272.774=-3.387 |
| | mean | 2846.000-2426.000=420.000 | | σ | 0.000 | | min | 2846.000-2426.000=420.000 | | max | 2846.000-2426.000=420.000 |
| | mean | 0.376-0.382=-0.006 | | σ | 0.004-0.004=-0.000 | | min | 0.373-0.379=-0.005 | | max | 0.382-0.388=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.744-1933.161=-3.417 | | σ | 0.024-0.009=0.015 | | min | 1929.714-1933.150=-3.436 | | max | 1929.780-1933.174=-3.394 |
| | mean | 2846.000-2426.000=420.000 | | σ | 0.000 | | min | 2846.000-2426.000=420.000 | | max | 2846.000-2426.000=420.000 |
| | mean | 2.938-3.004=-0.066 | | σ | 0.259-0.101=0.158 | | min | 2.483-2.919=-0.437 | | max | 3.106-3.177=-0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.530-4753.919=-3.388 | | σ | 0.829-0.825=0.004 | | min | 4750.114-4753.394=-3.280 | | max | 4752.012-4755.382=-3.371 |
| | mean | 2846.000-2426.000=420.000 | | σ | 0.000 | | min | 2846.000-2426.000=420.000 | | max | 2846.000-2426.000=420.000 |
| | mean | 8.321-8.502=-0.181 | | σ | 0.292-0.516=-0.224 | | min | 7.821-7.750=0.071 | | max | 8.552-9.178=-0.627 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.980-4944.316=-3.335 | | σ | 0.024-0.168=-0.144 | | min | 4940.950-4944.018=-3.068 | | max | 4941.000-4944.410=-3.410 |
| | mean | 3011.800-2968.200=43.600 | | σ | 185.334-264.308=-78.974 | | min | 2846.000-2619.000=227.000 | | max | 3297.000-3308.000=-11.000 |
| | mean | 8.451-8.491=-0.039 | | σ | 0.084-0.050=0.034 | | min | 8.307-8.439=-0.131 | | max | 8.522-8.562=-0.041 |
|