iters=5 new-facts=1 prior-facts=1 | | mean | 303.514-303.515=-0.001 | | σ | 0.047-0.057=-0.009 | | min | 303.448-303.420=0.028 | | max | 303.566-303.560=0.005 |
| | mean | 1630.000-1617.000=13.000 | | σ | 0.000 | | min | 1630.000-1617.000=13.000 | | max | 1630.000-1617.000=13.000 |
| | mean | 0.393-0.394=-0.001 | | σ | 0.001-0.001=0.001 | | min | 0.391-0.393=-0.002 | | max | 0.395-0.395=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.081-1326.057=0.024 | | σ | 0.112-0.109=0.003 | | min | 1325.957-1325.923=0.034 | | max | 1326.258-1326.208=0.050 |
| | mean | 1630.000-1617.000=13.000 | | σ | 0.000 | | min | 1630.000-1617.000=13.000 | | max | 1630.000-1617.000=13.000 |
| | mean | 2.067-1.921=0.146 | | σ | 0.206-0.092=0.114 | | min | 1.841-1.827=0.013 | | max | 2.299-2.016=0.283 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.147-1564.113=0.034 | | σ | 6.912-6.922=-0.010 | | min | 1560.878-1560.758=0.120 | | max | 1576.508-1576.489=0.020 |
| | mean | 1630.000-1617.000=13.000 | | σ | 0.000 | | min | 1630.000-1617.000=13.000 | | max | 1630.000-1617.000=13.000 |
| | mean | 2.289-2.360=-0.072 | | σ | 0.291-0.318=-0.027 | | min | 1.969-2.133=-0.164 | | max | 2.765-2.798=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.009-1894.011=-0.002 | | σ | 0.073-0.069=0.003 | | min | 1893.881-1893.889=-0.008 | | max | 1894.063-1894.055=0.007 |
| | mean | 1760.600-1774.200=-13.600 | | σ | 168.760-161.224=7.536 | | min | 1630.000-1617.000=13.000 | | max | 2023.000-1939.000=84.000 |
| | mean | 3.016-2.985=0.031 | | σ | 0.190-0.185=0.005 | | min | 2.880-2.727=0.153 | | max | 3.294-3.207=0.087 |
|