iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-278.677=-0.004 | | σ | 0.013-0.013=0.001 | | min | 278.657-278.658=-0.001 | | max | 278.690-278.689=0.000 |
| | mean | 2592.000-2587.000=5.000 | | σ | 0.000 | | min | 2592.000-2587.000=5.000 | | max | 2592.000-2587.000=5.000 |
| | mean | 0.418-0.418=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.417-0.417=0.000 | | max | 0.420-0.418=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.847=-0.000 | | σ | 0.012-0.004=0.008 | | min | 2268.837-2268.844=-0.008 | | max | 2268.867-2268.854=0.013 |
| | mean | 2592.000-2587.000=5.000 | | σ | 0.000 | | min | 2592.000-2587.000=5.000 | | max | 2592.000-2587.000=5.000 |
| | mean | 3.127-2.871=0.256 | | σ | 0.324-0.036=0.288 | | min | 2.844-2.819=0.025 | | max | 3.634-2.903=0.731 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.227-4952.104=0.123 | | σ | 0.826-0.946=-0.120 | | min | 4951.742-4951.253=0.488 | | max | 4953.696-4953.725=-0.029 |
| | mean | 2592.000-2587.000=5.000 | | σ | 0.000 | | min | 2592.000-2587.000=5.000 | | max | 2592.000-2587.000=5.000 |
| | mean | 7.996-8.046=-0.049 | | σ | 0.323-0.364=-0.041 | | min | 7.696-7.668=0.029 | | max | 8.383-8.523=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.956-5166.884=0.073 | | σ | 0.081-0.198=-0.117 | | min | 5166.886-5166.558=0.328 | | max | 5167.054-5167.045=0.009 |
| | mean | 3451.000-3413.200=37.800 | | σ | 469.426-482.579=-13.154 | | min | 2866.000-2760.000=106.000 | | max | 4120.000-4032.000=88.000 |
| | mean | 9.234-9.401=-0.167 | | σ | 0.211-0.460=-0.249 | | min | 9.030-8.825=0.205 | | max | 9.579-9.827=-0.248 |
|