iters=5 new-facts=1 prior-facts=1 | | mean | 326.453-324.761=1.692 | | σ | 0.032-0.043=-0.012 | | min | 326.399-324.684=1.715 | | max | 326.475-324.790=1.685 |
| | mean | 2600.000-2840.000=-240.000 | | σ | 0.000 | | min | 2600.000-2840.000=-240.000 | | max | 2600.000-2840.000=-240.000 |
| | mean | 0.423-0.417=0.006 | | σ | 0.002-0.002=0.000 | | min | 0.420-0.416=0.004 | | max | 0.425-0.420=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.602-1985.313=3.288 | | σ | 0.032-0.015=0.016 | | min | 1988.549-1985.292=3.257 | | max | 1988.626-1985.334=3.292 |
| | mean | 2600.000-2840.000=-240.000 | | σ | 0.000 | | min | 2600.000-2840.000=-240.000 | | max | 2600.000-2840.000=-240.000 |
| | mean | 2.700-2.636=0.064 | | σ | 0.178-0.129=0.049 | | min | 2.581-2.515=0.066 | | max | 3.015-2.817=0.198 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.508-4809.111=4.397 | | σ | 7.706-7.773=-0.067 | | min | 4809.898-4805.604=4.294 | | max | 4827.291-4823.016=4.275 |
| | mean | 2600.000-2840.000=-240.000 | | σ | 0.000 | | min | 2600.000-2840.000=-240.000 | | max | 2600.000-2840.000=-240.000 |
| | mean | 8.407-9.162=-0.755 | | σ | 0.609-0.341=0.268 | | min | 7.710-8.925=-1.215 | | max | 9.314-9.755=-0.442 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.022-4996.552=4.469 | | σ | 0.031-0.151=-0.120 | | min | 5000.987-4996.285=4.703 | | max | 5001.056-4996.646=4.410 |
| | mean | 2961.200-3047.600=-86.400 | | σ | 266.229-270.853=-4.624 | | min | 2626.000-2840.000=-214.000 | | max | 3323.000-3465.000=-142.000 |
| | mean | 9.927-8.503=1.424 | | σ | 0.188-0.114=0.074 | | min | 9.706-8.444=1.262 | | max | 10.219-8.705=1.514 |
|