iters=5 new-facts=1 prior-facts=1 | | mean | 274.419-190.720=83.699 | | σ | 0.010-0.006=0.004 | | min | 274.403-190.712=83.691 | | max | 274.427-190.727=83.700 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 0.406-0.280=0.126 | | σ | 0.002-0.001=0.001 | | min | 0.404-0.279=0.125 | | max | 0.408-0.281=0.127 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.669-1989.501=275.168 | | σ | 0.003-0.016=-0.013 | | min | 2264.664-1989.482=275.183 | | max | 2264.673-1989.525=275.147 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 2.910-2.423=0.487 | | σ | 0.151-0.060=0.090 | | min | 2.751-2.328=0.423 | | max | 3.151-2.490=0.661 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.714-4880.068=71.646 | | σ | 0.885-0.599=0.286 | | min | 4951.160-4879.733=71.428 | | max | 4953.280-4881.133=72.148 |
| | mean | 2608.000-2632.000=-24.000 | | σ | 0.000 | | min | 2608.000-2632.000=-24.000 | | max | 2608.000-2632.000=-24.000 |
| | mean | 8.252-8.225=0.027 | | σ | 0.371-0.285=0.086 | | min | 7.820-7.776=0.044 | | max | 8.680-8.556=0.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.329-4891.624=274.704 | | σ | 0.266-0.127=0.139 | | min | 5165.868-4891.416=274.452 | | max | 5166.561-4891.763=274.797 |
| | mean | 3413.200-3352.600=60.600 | | σ | 461.528-465.019=-3.491 | | min | 2777.000-2780.000=-3.000 | | max | 4002.000-4016.000=-14.000 |
| | mean | 9.447-8.269=1.178 | | σ | 0.139-0.171=-0.032 | | min | 9.226-8.034=1.192 | | max | 9.606-8.447=1.159 |
|