ToolYESNOMAYBETIMEOUT
AProVE1530 3
AProVE 20111530 3
Julia10 560
COSTA10 533

ExampleAProVEAProVE 2011JuliaCOSTA
NO1.42NO1.24MAYBE3.37MAYBE2.39
NO1.75NO1.8MAYBE3.92MAYBE2.65
NO1.44NO1.34MAYBE3.49MAYBE0.89
NO1.35NO1.25MAYBE3.54MAYBE0.84
NO2.15NO2.08MAYBE3.26MAYBE2.45
NO1.5NO1.3MAYBE3.27MAYBE2.92
NO1.41NO1.34MAYBE3.64MAYBE1.48
TIMEOUT60TIMEOUT60MAYBE3.6MAYBE0.9
NO1.29NO1.17MAYBE3.02MAYBE1.08
NO1.31NO1.21MAYBE3.02MAYBE0.9
NO1.33NO1.25MAYBE3.48MAYBE0.81
NO3.04NO3.06MAYBE3.61MAYBE9.9
NO1.27NO1.2MAYBE2.99MAYBE0.86
NO1.72NO1.78MAYBE3.22MAYBE2.44
NO2.5NO2.16MAYBE5.2MAYBE2.69
NO1.66NO1.58MAYBE3.4MAYBE2.5
NO1.5NO1.48MAYBE3.44MAYBE2.42
NO1.27NO1.16MAYBE2.98MAYBE0.83
NO1.46NO1.45MAYBE3.43MAYBE2.49
NO12.51NO14.24MAYBE3.01MAYBE0.74
NO1.24NO1.17MAYBE3.01MAYBE0.73
NO1.73NO1.57MAYBE3.45MAYBE2.56
NO1.61NO1.59MAYBE3.35MAYBE2.47
NO1.72NO3.68MAYBE3.09MAYBE10.39
NO1.33NO1.23MAYBE3.18MAYBE0.85
TIMEOUT60TIMEOUT60MAYBE3.25MAYBE0.93
NO4.59NO1.37MAYBE3.61MAYBE1.48
NO1.77NO1.78MAYBE3.44MAYBE8.57
NO1.66NO1.79MAYBE3.61MAYBE3.34
NO1.7NO1.47MAYBE3.54MAYBE2.56
TIMEOUT60TIMEOUT60MAYBE4.69MAYBE4.4
NO2.8NO2.71MAYBE4.29MAYBE3.35
NO1.32NO1.2MAYBE2.54MAYBE0.76
NO1.28NO1.16MAYBE2.94MAYBE0.74
NO1.59NO1.8MAYBE3.09MAYBE2.48
NO1.99NO1.91MAYBE2.9TIMEOUT60
NO1.44NO1.31MAYBE2.55MAYBE1.37
NO1.28NO1.17MAYBE2.63MAYBE0.83
NO1.55NO1.44MAYBE2.5MAYBE0.8
NO4.21NO4.34MAYBE2.76TIMEOUT60
NO1.76NO2.7MAYBE2.64MAYBE4.33
NO1.91NO2.46MAYBE5.12TIMEOUT60
NO1.54NO1.42MAYBE3.18MAYBE1.01
NO1.35NO1.24MAYBE2.91MAYBE0.78
NO1.53NO1.46MAYBE2.82MAYBE2.84
NO1.53NO1.45MAYBE2.61MAYBE4.9
NO1.74NO1.56MAYBE2.51MAYBE7.44
NO1.43NO1.95MAYBE2.33MAYBE0.9
YES1.41YES1.46YES2.33YES0.31
NO1.32NO1.2MAYBE2.28MAYBE0.75
NO1.34NO1.24MAYBE2.33MAYBE0.85
NO1.45NO1.34MAYBE2.24MAYBE0.81
NO1.49NO1.38MAYBE2.21MAYBE0.83
NO1.26NO1.17MAYBE2.17MAYBE0.84
NO1.27NO1.17MAYBE2.19MAYBE0.85
NO1.55NO1.77MAYBE2.92MAYBE2.51
NO1.29NO1.16MAYBE2.22MAYBE0.75