iters=5 new-facts=1 prior-facts=1 | | mean | 269.926-269.936=-0.009 | | σ | 0.007-0.009=-0.002 | | min | 269.920-269.924=-0.004 | | max | 269.936-269.949=-0.012 |
| | mean | 2847.000-2420.000=427.000 | | σ | 0.000 | | min | 2847.000-2420.000=427.000 | | max | 2847.000-2420.000=427.000 |
| | mean | 0.373-0.382=-0.009 | | σ | 0.007-0.007=-0.000 | | min | 0.369-0.378=-0.009 | | max | 0.385-0.394=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.398-1930.391=0.007 | | σ | 0.012-0.023=-0.011 | | min | 1930.388-1930.355=0.033 | | max | 1930.418-1930.409=0.009 |
| | mean | 2847.000-2420.000=427.000 | | σ | 0.000 | | min | 2847.000-2420.000=427.000 | | max | 2847.000-2420.000=427.000 |
| | mean | 2.561-2.556=0.006 | | σ | 0.126-0.158=-0.031 | | min | 2.459-2.444=0.014 | | max | 2.716-2.812=-0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.883-4750.838=0.044 | | σ | 0.851-0.820=0.031 | | min | 4750.271-4750.300=-0.029 | | max | 4752.382-4752.281=0.101 |
| | mean | 2847.000-2420.000=427.000 | | σ | 0.000 | | min | 2847.000-2420.000=427.000 | | max | 2847.000-2420.000=427.000 |
| | mean | 8.785-8.682=0.103 | | σ | 0.627-0.262=0.365 | | min | 7.842-8.433=-0.591 | | max | 9.603-9.027=0.576 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.261-4941.262=-0.001 | | σ | 0.131-0.203=-0.072 | | min | 4941.073-4940.927=0.146 | | max | 4941.442-4941.427=0.015 |
| | mean | 3071.000-2969.000=102.000 | | σ | 236.079-257.671=-21.592 | | min | 2847.000-2645.000=202.000 | | max | 3413.000-3316.000=97.000 |
| | mean | 8.557-8.452=0.106 | | σ | 0.167-0.048=0.119 | | min | 8.400-8.400=-0.001 | | max | 8.815-8.511=0.304 |
|