iters=5 new-facts=1 prior-facts=1 | | mean | 272.791-272.794=-0.003 | | σ | 0.004-0.004=-0.000 | | min | 272.788-272.791=-0.003 | | max | 272.797-272.799=-0.002 |
| | mean | 2717.000-2751.000=-34.000 | | σ | 0.000 | | min | 2717.000-2751.000=-34.000 | | max | 2717.000-2751.000=-34.000 |
| | mean | 0.378-0.383=-0.004 | | σ | 0.006-0.008=-0.002 | | min | 0.374-0.378=-0.004 | | max | 0.388-0.397=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.232-1933.230=0.003 | | σ | 0.015-0.015=-0.001 | | min | 1933.218-1933.217=0.001 | | max | 1933.256-1933.254=0.002 |
| | mean | 2717.000-2751.000=-34.000 | | σ | 0.000 | | min | 2717.000-2751.000=-34.000 | | max | 2717.000-2751.000=-34.000 |
| | mean | 2.979-2.867=0.112 | | σ | 0.129-0.271=-0.142 | | min | 2.753-2.462=0.291 | | max | 3.074-3.133=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.864-4756.970=-0.105 | | σ | 7.717-7.564=0.153 | | min | 4752.829-4753.559=-0.730 | | max | 4770.654-4770.500=0.154 |
| | mean | 2717.000-2751.000=-34.000 | | σ | 0.000 | | min | 2717.000-2751.000=-34.000 | | max | 2717.000-2751.000=-34.000 |
| | mean | 8.573-8.434=0.139 | | σ | 0.621-0.287=0.334 | | min | 7.640-7.940=-0.300 | | max | 9.151-8.660=0.491 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.454-4944.388=0.066 | | σ | 0.023-0.169=-0.146 | | min | 4944.431-4944.087=0.344 | | max | 4944.485-4944.483=0.002 |
| | mean | 3014.400-3010.600=3.800 | | σ | 245.161-228.084=17.077 | | min | 2717.000-2751.000=-34.000 | | max | 3324.000-3309.000=15.000 |
| | mean | 8.598-8.539=0.059 | | σ | 0.158-0.178=-0.020 | | min | 8.418-8.267=0.151 | | max | 8.753-8.712=0.041 |
|