iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-270.129=-0.003 | | σ | 0.009-0.006=0.003 | | min | 270.115-270.123=-0.008 | | max | 270.139-270.137=0.001 |
| | mean | 2787.000-2432.000=355.000 | | σ | 0.000 | | min | 2787.000-2432.000=355.000 | | max | 2787.000-2432.000=355.000 |
| | mean | 0.373-0.380=-0.008 | | σ | 0.001-0.006=-0.005 | | min | 0.371-0.372=-0.001 | | max | 0.375-0.389=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.588-1930.591=-0.003 | | σ | 0.020-0.016=0.003 | | min | 1930.558-1930.564=-0.006 | | max | 1930.606-1930.608=-0.002 |
| | mean | 2787.000-2432.000=355.000 | | σ | 0.000 | | min | 2787.000-2432.000=355.000 | | max | 2787.000-2432.000=355.000 |
| | mean | 2.521-2.556=-0.035 | | σ | 0.144-0.107=0.036 | | min | 2.436-2.469=-0.033 | | max | 2.775-2.676=0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.976-4751.129=-0.153 | | σ | 1.050-0.949=0.101 | | min | 4750.046-4750.492=-0.446 | | max | 4752.776-4752.789=-0.013 |
| | mean | 2787.000-2432.000=355.000 | | σ | 0.000 | | min | 2787.000-2432.000=355.000 | | max | 2787.000-2432.000=355.000 |
| | mean | 8.617-8.285=0.331 | | σ | 0.307-0.638=-0.331 | | min | 8.246-7.751=0.496 | | max | 9.028-9.052=-0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.563-4941.482=0.082 | | σ | 0.077-0.225=-0.148 | | min | 4941.472-4941.101=0.371 | | max | 4941.629-4941.629=-0.000 |
| | mean | 2995.600-2971.000=24.600 | | σ | 207.823-435.568=-227.745 | | min | 2787.000-2480.000=307.000 | | max | 3304.000-3565.000=-261.000 |
| | mean | 8.650-8.403=0.247 | | σ | 0.284-0.096=0.189 | | min | 8.391-8.322=0.069 | | max | 9.135-8.557=0.578 |
|