ToolYESNOMAYBETIMEOUT
AProVE7000
AProVE 20112041
Julia0070
COSTA1060

ExampleAProVEAProVE 2011JuliaCOSTA
YES2.38YES9.48MAYBE2.95MAYBE2.01
YES2.41MAYBE6.54MAYBE3.18MAYBE1.71
YES1.83TIMEOUT60MAYBE3.08MAYBE3.05
YES1.82YES1.98MAYBE2.8MAYBE3.74
YES2.85MAYBE6.33MAYBE2.73MAYBE4.16
YES2.36MAYBE6.26MAYBE3.14MAYBE4.46
YES17.25MAYBE6.2MAYBE6.31YES6.45