iters=5 new-facts=1 prior-facts=1 | | mean | 270.141-270.133=0.009 | | σ | 0.009-0.006=0.003 | | min | 270.130-270.125=0.006 | | max | 270.154-270.139=0.015 |
| | mean | 2772.000-2453.000=319.000 | | σ | 0.000 | | min | 2772.000-2453.000=319.000 | | max | 2772.000-2453.000=319.000 |
| | mean | 0.377-0.388=-0.011 | | σ | 0.006-0.008=-0.002 | | min | 0.371-0.380=-0.009 | | max | 0.387-0.400=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.594=0.015 | | σ | 0.007-0.009=-0.002 | | min | 1930.600-1930.584=0.016 | | max | 1930.618-1930.605=0.013 |
| | mean | 2772.000-2453.000=319.000 | | σ | 0.000 | | min | 2772.000-2453.000=319.000 | | max | 2772.000-2453.000=319.000 |
| | mean | 2.558-2.587=-0.029 | | σ | 0.130-0.125=0.005 | | min | 2.420-2.452=-0.032 | | max | 2.744-2.781=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.222-4751.139=0.083 | | σ | 0.973-0.805=0.168 | | min | 4750.520-4750.651=-0.130 | | max | 4752.927-4752.568=0.358 |
| | mean | 2772.000-2453.000=319.000 | | σ | 0.000 | | min | 2772.000-2453.000=319.000 | | max | 2772.000-2453.000=319.000 |
| | mean | 8.489-8.119=0.370 | | σ | 0.539-0.389=0.150 | | min | 7.820-7.746=0.074 | | max | 9.068-8.559=0.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.774-4941.530=0.244 | | σ | 0.015-0.087=-0.071 | | min | 4941.762-4941.452=0.310 | | max | 4941.799-4941.629=0.169 |
| | mean | 3043.400-2968.000=75.400 | | σ | 208.711-436.458=-227.747 | | min | 2772.000-2476.000=296.000 | | max | 3320.000-3562.000=-242.000 |
| | mean | 8.580-8.590=-0.010 | | σ | 0.134-0.297=-0.162 | | min | 8.430-8.345=0.085 | | max | 8.780-9.006=-0.226 |
|