iters=5 new-facts=1 prior-facts=1 | | mean | 270.236-270.239=-0.003 | | σ | 0.006-0.004=0.002 | | min | 270.227-270.232=-0.005 | | max | 270.243-270.242=0.001 |
| | mean | 2494.000-2474.000=20.000 | | σ | 0.000 | | min | 2494.000-2474.000=20.000 | | max | 2494.000-2474.000=20.000 |
| | mean | 0.375-0.382=-0.006 | | σ | 0.005-0.008=-0.003 | | min | 0.367-0.377=-0.010 | | max | 0.381-0.396=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.701-1930.698=0.002 | | σ | 0.008-0.014=-0.005 | | min | 1930.693-1930.682=0.011 | | max | 1930.710-1930.715=-0.006 |
| | mean | 2494.000-2474.000=20.000 | | σ | 0.000 | | min | 2494.000-2474.000=20.000 | | max | 2494.000-2474.000=20.000 |
| | mean | 2.524-2.525=-0.000 | | σ | 0.099-0.108=-0.009 | | min | 2.453-2.373=0.080 | | max | 2.688-2.638=0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.435-4751.184=0.251 | | σ | 0.860-1.100=-0.240 | | min | 4750.932-4750.336=0.596 | | max | 4752.967-4753.066=-0.099 |
| | mean | 2494.000-2474.000=20.000 | | σ | 0.000 | | min | 2494.000-2474.000=20.000 | | max | 2494.000-2474.000=20.000 |
| | mean | 8.320-8.499=-0.179 | | σ | 0.483-0.589=-0.105 | | min | 7.623-7.622=0.001 | | max | 8.887-9.145=-0.258 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.861-4941.869=-0.008 | | σ | 0.023-0.016=0.006 | | min | 4941.839-4941.852=-0.013 | | max | 4941.886-4941.887=-0.001 |
| | mean | 3013.000-3011.000=2.000 | | σ | 318.663-313.172=5.491 | | min | 2603.000-2596.000=7.000 | | max | 3423.000-3414.000=9.000 |
| | mean | 8.614-8.549=0.066 | | σ | 0.278-0.138=0.140 | | min | 8.359-8.421=-0.063 | | max | 9.087-8.719=0.368 |
|