iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-278.698=0.813 | | σ | 0.009-0.013=-0.004 | | min | 279.499-278.689=0.810 | | max | 279.519-278.720=0.799 |
| | mean | 2768.000-2693.000=75.000 | | σ | 0.000 | | min | 2768.000-2693.000=75.000 | | max | 2768.000-2693.000=75.000 |
| | mean | 0.411-0.419=-0.008 | | σ | 0.007-0.001=0.006 | | min | 0.405-0.418=-0.012 | | max | 0.421-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.425-2268.871=-90.446 | | σ | 0.037-0.006=0.032 | | min | 2178.359-2268.865=-90.506 | | max | 2178.449-2268.878=-90.429 |
| | mean | 2768.000-2693.000=75.000 | | σ | 0.000 | | min | 2768.000-2693.000=75.000 | | max | 2768.000-2693.000=75.000 |
| | mean | 3.389-3.093=0.296 | | σ | 0.117-0.219=-0.102 | | min | 3.268-2.883=0.384 | | max | 3.530-3.411=0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.357-4952.078=104.280 | | σ | 0.973-0.909=0.064 | | min | 5055.766-4951.145=104.621 | | max | 5058.083-4953.599=104.484 |
| | mean | 2768.000-2693.000=75.000 | | σ | 0.000 | | min | 2768.000-2693.000=75.000 | | max | 2768.000-2693.000=75.000 |
| | mean | 9.034-8.077=0.957 | | σ | 0.490-0.237=0.254 | | min | 8.168-7.858=0.309 | | max | 9.359-8.346=1.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.674-5166.848=26.826 | | σ | 0.125-0.162=-0.037 | | min | 5193.505-5166.560=26.945 | | max | 5193.857-5166.939=26.918 |
| | mean | 3276.200-3467.000=-190.800 | | σ | 460.996-509.392=-48.396 | | min | 2768.000-2834.000=-66.000 | | max | 3914.000-4180.000=-266.000 |
| | mean | 8.976-9.280=-0.305 | | σ | 0.099-0.511=-0.413 | | min | 8.861-8.481=0.380 | | max | 9.094-9.727=-0.633 |
|