iters=5 new-facts=1 prior-facts=1 | | mean | 270.139-266.786=3.353 | | σ | 0.009-0.006=0.004 | | min | 270.131-266.780=3.351 | | max | 270.154-266.795=3.359 |
| | mean | 2769.000-2851.000=-82.000 | | σ | 0.000 | | min | 2769.000-2851.000=-82.000 | | max | 2769.000-2851.000=-82.000 |
| | mean | 0.377-0.365=0.012 | | σ | 0.004-0.002=0.002 | | min | 0.371-0.363=0.009 | | max | 0.382-0.367=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1927.215=3.392 | | σ | 0.007-0.003=0.004 | | min | 1930.596-1927.211=3.385 | | max | 1930.615-1927.218=3.397 |
| | mean | 2769.000-2851.000=-82.000 | | σ | 0.000 | | min | 2769.000-2851.000=-82.000 | | max | 2769.000-2851.000=-82.000 |
| | mean | 2.512-3.031=-0.519 | | σ | 0.085-0.115=-0.031 | | min | 2.431-2.902=-0.471 | | max | 2.654-3.194=-0.541 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.332-4747.715=3.617 | | σ | 0.888-0.851=0.037 | | min | 4750.819-4747.186=3.633 | | max | 4752.914-4749.228=3.687 |
| | mean | 2769.000-2851.000=-82.000 | | σ | 0.000 | | min | 2769.000-2851.000=-82.000 | | max | 2769.000-2851.000=-82.000 |
| | mean | 8.413-8.582=-0.169 | | σ | 0.465-0.562=-0.097 | | min | 7.741-7.630=0.111 | | max | 8.979-9.035=-0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.699-4938.172=3.527 | | σ | 0.144-0.093=0.051 | | min | 4941.443-4938.094=3.349 | | max | 4941.790-4938.280=3.510 |
| | mean | 3044.400-3077.400=-33.000 | | σ | 235.302-239.203=-3.902 | | min | 2769.000-2851.000=-82.000 | | max | 3371.000-3425.000=-54.000 |
| | mean | 8.680-8.507=0.172 | | σ | 0.208-0.189=0.019 | | min | 8.394-8.273=0.120 | | max | 8.925-8.746=0.179 |
|