ToolNOMAYBETIMEOUT
AProVE-NL120 [6.71]0 36
AProVE 201197 [13.61]0 59
TTT224 [5.92]126 [59.68]6
NTI67 [6.70]0 89
VMTL0 9 [4.96]147
nonloop95 [5.96]2 [0.17]59
KFL147 [2.92]0 9
Matchbox111 [6.62]0 45

ExampleAProVE-NLAProVE 2011TTT2NTIVMTLnonloopKFLMatchbox
NO1.54NO0.76NO0.57NO0.05TIMEOUT60NO0.27NO0.18NO6.19
NO1.58NO0.82NO0.64NO0.08TIMEOUT60NO0.25NO0.17NO5.68
NO2.52NO12.68NO57.27NO3.07TIMEOUT60NO1.47NO0.52NO6.27
NO3.44NO17.92MAYBE59.84NO6.63TIMEOUT60NO3.87NO0.34NO6.49
NO18.11TIMEOUT60MAYBE59.82TIMEOUT60TIMEOUT60TIMEOUT60NO0.56NO9.16
NO2.43NO10.61MAYBE59.76NO1.57TIMEOUT60NO1.26NO0.52NO6.8
TIMEOUT60TIMEOUT60MAYBE59.87TIMEOUT60TIMEOUT60TIMEOUT60NO26.21TIMEOUT60
NO3.44NO18.16MAYBE59.85NO0.62TIMEOUT60NO5.13NO0.24NO6.87
NO3.88NO31.6MAYBE59.87NO6.89TIMEOUT60NO9.64NO0.4NO7.26
NO3.76NO24.14TIMEOUT60TIMEOUT60TIMEOUT60NO3.62TIMEOUT60TIMEOUT60
NO7.04NO39.36MAYBE59.77TIMEOUT60TIMEOUT60NO6.29TIMEOUT60TIMEOUT60
NO5.25NO31.97MAYBE59.75TIMEOUT60TIMEOUT60NO3.95TIMEOUT60TIMEOUT60
NO3.27NO18.6MAYBE59.77TIMEOUT60TIMEOUT60NO1.34TIMEOUT60TIMEOUT60
NO2.66NO14.05MAYBE59.93TIMEOUT60TIMEOUT60NO1.65TIMEOUT60TIMEOUT60
NO1.65NO1.24MAYBE59.59TIMEOUT60TIMEOUT60NO0.32TIMEOUT60TIMEOUT60
NO2.02NO2.78TIMEOUT60TIMEOUT60TIMEOUT60NO0.76TIMEOUT60TIMEOUT60
NO2.22NO5.52TIMEOUT60TIMEOUT60TIMEOUT60NO1.36TIMEOUT60TIMEOUT60
NO1.93NO4.66MAYBE59.66NO1.83TIMEOUT60NO0.74NO0.19NO5.5
NO1.53NO0.73NO0.39NO0.09TIMEOUT60MAYBE0.17NO0.21NO40.12
NO1.69NO1.01NO0.68NO0.16TIMEOUT60MAYBE0.16NO0.52NO20.74
NO20.8TIMEOUT60MAYBE59.7TIMEOUT60TIMEOUT60TIMEOUT60NO0.81TIMEOUT60
NO26.79TIMEOUT60MAYBE59.79TIMEOUT60TIMEOUT60TIMEOUT60NO0.64NO6.48
NO2.42NO16.68MAYBE59.63TIMEOUT60TIMEOUT60NO3.73NO1.0NO5.58
TIMEOUT60TIMEOUT60MAYBE59.78TIMEOUT60TIMEOUT60TIMEOUT60NO1.21NO5.8
NO2.44NO6.45MAYBE59.75TIMEOUT60TIMEOUT60NO1.17NO0.31NO5.63
TIMEOUT60TIMEOUT60MAYBE59.84TIMEOUT60MAYBE1.86TIMEOUT60NO0.34NO5.93
NO4.89TIMEOUT60MAYBE59.78TIMEOUT60MAYBE2.32TIMEOUT60NO0.29NO5.78
NO2.68NO24.99MAYBE59.78NO2.26MAYBE2.55NO9.1NO0.2NO5.76
NO4.28TIMEOUT60MAYBE59.75NO5.51MAYBE2.44NO34.17NO0.53NO5.95
NO2.74NO9.98MAYBE59.77NO1.89TIMEOUT60NO1.74NO0.19NO5.74
NO1.93NO4.97MAYBE59.7NO2.7TIMEOUT60NO0.77NO0.18NO5.89
NO2.62NO11.71TIMEOUT60TIMEOUT60TIMEOUT60NO1.9NO0.26NO6.12
NO1.71NO1.3NO1.14NO3.94TIMEOUT60NO0.49NO0.23NO6.21
NO2.1NO6.13MAYBE59.81NO19.91TIMEOUT60NO0.8NO0.48NO6.05
NO1.66NO1.13MAYBE59.76NO0.19TIMEOUT60NO0.29NO0.25NO5.61
NO2.55NO10.0TIMEOUT60NO0.2TIMEOUT60NO1.19NO0.49NO7.58
NO2.69NO14.26MAYBE59.72NO4.21TIMEOUT60NO2.45NO0.25NO5.81
NO1.92NO7.68MAYBE59.48NO9.21TIMEOUT60NO0.73NO1.12TIMEOUT60
NO8.25NO33.46MAYBE59.66TIMEOUT60MAYBE1.51NO7.61NO0.63NO7.14
NO2.82NO10.98MAYBE59.41TIMEOUT60TIMEOUT60NO1.34NO1.19NO10.28
TIMEOUT60TIMEOUT60MAYBE59.7TIMEOUT60TIMEOUT60TIMEOUT60NO30.79TIMEOUT60
NO10.41TIMEOUT60MAYBE59.7TIMEOUT60TIMEOUT60TIMEOUT60NO0.24NO5.66
NO15.28TIMEOUT60MAYBE59.72TIMEOUT60TIMEOUT60TIMEOUT60NO0.21NO5.8
TIMEOUT60TIMEOUT60MAYBE59.71TIMEOUT60TIMEOUT60TIMEOUT60NO0.28NO5.76
TIMEOUT60TIMEOUT60MAYBE59.72TIMEOUT60MAYBE29.41TIMEOUT60NO2.43NO5.87
TIMEOUT60TIMEOUT60MAYBE59.59TIMEOUT60TIMEOUT60TIMEOUT60NO1.3NO5.72
NO18.98TIMEOUT60MAYBE59.54TIMEOUT60TIMEOUT60NO44.32NO0.72TIMEOUT60
NO2.03NO7.41MAYBE59.67NO0.75TIMEOUT60NO0.65NO0.61NO6.73
NO2.44NO7.63MAYBE59.55NO0.72TIMEOUT60NO1.5NO1.17NO8.01
NO2.75NO21.2MAYBE59.59TIMEOUT60TIMEOUT60NO4.84NO1.16TIMEOUT60
NO48.98TIMEOUT60MAYBE59.66TIMEOUT60MAYBE1.36TIMEOUT60NO0.68NO6.02
NO4.91NO35.94MAYBE59.5NO6.87TIMEOUT60NO4.81NO0.85NO6.98
NO1.92NO5.2MAYBE59.5NO5.69TIMEOUT60NO0.68NO0.59NO5.83
NO3.34NO21.29MAYBE59.6NO8.97TIMEOUT60NO2.35NO0.69NO6.23
NO1.54NO0.81NO1.16NO1.91TIMEOUT60TIMEOUT60NO0.19NO5.39
NO1.62NO1.01NO1.08NO1.63TIMEOUT60TIMEOUT60NO0.19NO5.4
NO1.58NO0.86NO1.29NO0.06TIMEOUT60NO2.74NO0.21NO5.62
NO1.55NO0.79NO0.67NO0.15TIMEOUT60NO0.23NO0.24NO5.41
NO1.62NO1.32NO1.55NO0.23TIMEOUT60NO8.26NO0.34NO5.65
NO4.63NO33.85MAYBE59.6TIMEOUT60TIMEOUT60NO4.95NO1.22NO7.14
TIMEOUT60TIMEOUT60MAYBE59.66TIMEOUT60TIMEOUT60TIMEOUT60NO6.27NO6.71
NO1.64NO1.28NO3.74NO0.21TIMEOUT60NO0.33NO0.35NO5.57
NO1.72NO10.24NO59.35NO15.58TIMEOUT60TIMEOUT60NO0.38NO5.65
NO1.59NO0.81NO1.68NO0.74TIMEOUT60NO0.27NO0.21NO5.59
NO2.0NO2.59NO1.85NO9.93TIMEOUT60NO0.54NO0.37NO5.4
NO1.61NO1.13NO4.27NO1.56TIMEOUT60NO0.42NO0.52TIMEOUT60
NO2.03NO10.26MAYBE59.51NO6.47TIMEOUT60NO2.08NO1.68TIMEOUT60
NO2.64NO9.75MAYBE59.51NO34.26TIMEOUT60NO2.64NO1.27TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.5TIMEOUT60TIMEOUT60TIMEOUT60NO38.79TIMEOUT60
NO2.02NO4.43MAYBE59.65NO0.89TIMEOUT60NO1.31NO0.77NO9.75
TIMEOUT60TIMEOUT60MAYBE59.71TIMEOUT60TIMEOUT60TIMEOUT60NO2.39TIMEOUT60
NO2.0NO4.88MAYBE59.58NO0.51TIMEOUT60NO0.96NO0.57TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.54TIMEOUT60TIMEOUT60TIMEOUT60NO1.3TIMEOUT60
NO7.8NO33.23MAYBE59.67NO3.92TIMEOUT60NO8.77NO0.73NO5.85
NO33.85TIMEOUT60MAYBE59.7TIMEOUT60TIMEOUT60TIMEOUT60NO0.59TIMEOUT60
NO2.14NO6.69MAYBE59.68NO2.08TIMEOUT60NO0.87NO0.54NO6.37
NO2.48NO9.9MAYBE59.7NO1.54TIMEOUT60NO2.92NO0.52NO5.83
TIMEOUT60TIMEOUT60MAYBE59.74TIMEOUT60TIMEOUT60TIMEOUT60NO1.15TIMEOUT60
NO3.49NO28.05MAYBE59.75TIMEOUT60TIMEOUT60NO9.42NO0.55NO6.04
TIMEOUT60TIMEOUT60MAYBE59.68TIMEOUT60TIMEOUT60TIMEOUT60NO1.0TIMEOUT60
NO2.07NO6.29MAYBE59.54NO10.23TIMEOUT60NO0.85NO0.81NO5.82
NO2.29NO10.42MAYBE59.45NO43.08TIMEOUT60NO1.57NO0.78NO5.8
NO2.44NO9.87MAYBE59.47NO35.12TIMEOUT60NO1.03NO0.63NO6.51
NO2.09NO6.93MAYBE59.5NO10.12TIMEOUT60NO0.72NO1.04NO5.96
TIMEOUT60TIMEOUT60MAYBE59.75TIMEOUT60TIMEOUT60TIMEOUT60NO1.51NO5.46
NO38.63TIMEOUT60MAYBE59.62TIMEOUT60TIMEOUT60TIMEOUT60NO1.35TIMEOUT60
NO2.85NO18.5MAYBE59.69TIMEOUT60TIMEOUT60TIMEOUT60NO0.64NO5.75
NO1.86NO5.48MAYBE59.41NO1.24TIMEOUT60NO0.58NO0.39NO5.39
NO1.71NO2.07MAYBE59.67TIMEOUT60TIMEOUT60NO0.61NO0.39NO5.46
TIMEOUT60TIMEOUT60MAYBE59.67TIMEOUT60TIMEOUT60TIMEOUT60NO4.5TIMEOUT60
NO5.69NO32.45MAYBE59.68NO5.45TIMEOUT60NO6.18NO0.67TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.69TIMEOUT60TIMEOUT60TIMEOUT60NO6.34TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.69TIMEOUT60TIMEOUT60TIMEOUT60NO2.78TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.65TIMEOUT60TIMEOUT60TIMEOUT60NO45.57TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.66TIMEOUT60TIMEOUT60TIMEOUT60NO44.01TIMEOUT60
NO5.56NO36.49MAYBE59.68TIMEOUT60TIMEOUT60NO7.41NO0.72TIMEOUT60
NO3.26NO13.08MAYBE59.69TIMEOUT60TIMEOUT60NO2.17NO1.02TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.63TIMEOUT60TIMEOUT60TIMEOUT60NO0.9NO5.89
NO19.71TIMEOUT60MAYBE59.75NO24.41TIMEOUT60TIMEOUT60NO1.2NO5.91
NO7.13NO30.34MAYBE59.84NO1.49TIMEOUT60NO44.05NO0.72NO6.03
TIMEOUT60TIMEOUT60MAYBE59.67TIMEOUT60TIMEOUT60TIMEOUT60NO6.39NO5.73
NO2.07NO4.71MAYBE59.63TIMEOUT60TIMEOUT60NO5.83NO0.29NO5.4
TIMEOUT60TIMEOUT60MAYBE59.73NO44.59TIMEOUT60TIMEOUT60NO2.9NO6.01
TIMEOUT60TIMEOUT60MAYBE59.71TIMEOUT60TIMEOUT60TIMEOUT60NO4.41NO5.79
TIMEOUT60TIMEOUT60MAYBE59.74TIMEOUT60TIMEOUT60TIMEOUT60NO4.49NO6.09
NO24.98TIMEOUT60MAYBE59.78NO27.05TIMEOUT60TIMEOUT60NO0.8NO6.26
TIMEOUT60TIMEOUT60MAYBE59.75TIMEOUT60TIMEOUT60TIMEOUT60NO12.22NO5.78
NO2.66NO13.72MAYBE59.68NO8.66TIMEOUT60NO1.66NO0.74NO6.16
NO5.78NO27.53MAYBE59.73TIMEOUT60TIMEOUT60NO15.65NO0.61TIMEOUT60
NO2.09NO12.01MAYBE59.63TIMEOUT60TIMEOUT60NO1.79NO0.5NO5.86
NO9.31NO42.33MAYBE59.66TIMEOUT60TIMEOUT60TIMEOUT60NO1.6TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.76TIMEOUT60TIMEOUT60TIMEOUT60NO2.69NO5.96
TIMEOUT60TIMEOUT60MAYBE59.69TIMEOUT60TIMEOUT60TIMEOUT60NO4.57NO5.76
TIMEOUT60TIMEOUT60MAYBE59.79TIMEOUT60TIMEOUT60TIMEOUT60NO5.03NO6.09
NO36.44TIMEOUT60MAYBE59.79TIMEOUT60TIMEOUT60TIMEOUT60NO0.81NO6.2
TIMEOUT60TIMEOUT60MAYBE59.67TIMEOUT60TIMEOUT60TIMEOUT60NO14.42NO5.91
NO2.26NO11.24MAYBE59.4NO7.7TIMEOUT60NO0.89NO0.78NO7.93
TIMEOUT60TIMEOUT60MAYBE59.76TIMEOUT60TIMEOUT60TIMEOUT60NO12.06NO6.02
NO13.38TIMEOUT60MAYBE59.79TIMEOUT60TIMEOUT60TIMEOUT60NO0.89TIMEOUT60
NO16.22TIMEOUT60MAYBE59.85TIMEOUT60TIMEOUT60TIMEOUT60NO0.9TIMEOUT60
TIMEOUT60TIMEOUT60MAYBE59.65TIMEOUT60TIMEOUT60TIMEOUT60NO12.08NO5.91
NO15.85TIMEOUT60MAYBE59.81TIMEOUT60TIMEOUT60TIMEOUT60NO0.8NO6.0
TIMEOUT60TIMEOUT60MAYBE59.71TIMEOUT60TIMEOUT60TIMEOUT60NO24.91NO5.88
TIMEOUT60TIMEOUT60MAYBE59.73TIMEOUT60TIMEOUT60TIMEOUT60NO2.86NO5.95
TIMEOUT60TIMEOUT60MAYBE59.68TIMEOUT60TIMEOUT60TIMEOUT60NO2.61NO6.0
TIMEOUT60TIMEOUT60MAYBE59.68TIMEOUT60TIMEOUT60TIMEOUT60NO28.7TIMEOUT60
NO2.71NO13.44MAYBE59.7NO7.1TIMEOUT60NO1.76NO0.64NO7.4
NO7.68NO52.43MAYBE59.81TIMEOUT60TIMEOUT60NO19.93NO0.83NO6.03
NO29.97TIMEOUT60MAYBE59.8TIMEOUT60TIMEOUT60TIMEOUT60NO1.52NO6.26
NO3.37NO15.67MAYBE59.69TIMEOUT60TIMEOUT60NO1.72NO0.49TIMEOUT60
NO2.58NO9.7MAYBE59.63NO32.35TIMEOUT60NO1.29NO0.55TIMEOUT60
NO3.32NO18.08MAYBE59.71TIMEOUT60TIMEOUT60NO11.26NO0.69NO5.86
NO6.5NO34.84MAYBE59.74NO10.21TIMEOUT60NO36.97NO2.36NO5.76
NO8.96NO44.62MAYBE59.7TIMEOUT60TIMEOUT60NO22.25NO0.75NO5.71
NO3.21NO11.77MAYBE59.63TIMEOUT60MAYBE1.63NO1.98NO0.65TIMEOUT60
NO3.51NO20.77MAYBE59.78TIMEOUT60TIMEOUT60NO4.91NO0.64NO5.88
NO4.34NO43.12MAYBE59.77NO3.56TIMEOUT60NO19.29NO0.35NO6.96
NO15.54TIMEOUT60MAYBE59.61TIMEOUT60TIMEOUT60TIMEOUT60NO0.46NO7.09
NO10.81TIMEOUT60MAYBE59.67TIMEOUT60TIMEOUT60NO31.0NO0.61NO5.94
NO9.8NO43.88MAYBE59.68TIMEOUT60TIMEOUT60NO16.85NO1.01NO6.02
NO41.8TIMEOUT60MAYBE59.59TIMEOUT60TIMEOUT60TIMEOUT60NO0.53NO7.16
NO2.25NO10.74MAYBE59.61TIMEOUT60TIMEOUT60NO1.06NO0.75TIMEOUT60
NO9.76TIMEOUT60MAYBE59.59TIMEOUT60TIMEOUT60NO39.53NO1.09NO7.58
TIMEOUT60TIMEOUT60MAYBE59.51TIMEOUT60MAYBE1.52TIMEOUT60NO1.08TIMEOUT60
NO10.17NO49.99MAYBE59.6TIMEOUT60TIMEOUT60NO12.82NO0.85NO5.56
NO30.88TIMEOUT60MAYBE59.46TIMEOUT60TIMEOUT60NO34.66NO1.42TIMEOUT60
NO1.63NO1.12MAYBE59.54NO0.48TIMEOUT60NO0.31NO0.41NO5.87
NO1.66NO1.03NO0.58NO0.05TIMEOUT60NO0.33NO0.17NO6.32
NO1.57NO0.82NO0.61NO0.04TIMEOUT60NO0.26NO0.18NO6.07
NO1.57NO0.82NO0.57NO0.04TIMEOUT60NO0.26NO0.17NO5.77
NO2.22NO3.57TIMEOUT60TIMEOUT60TIMEOUT60NO0.83TIMEOUT60TIMEOUT60
NO1.52NO0.63NO0.61NO0.03TIMEOUT60NO0.17NO0.17NO5.69
NO1.51NO0.74NO0.57NO0.04TIMEOUT60NO0.25NO0.18NO6.7
NO1.48NO0.71NO0.62NO0.05TIMEOUT60NO0.21NO0.19NO6.31
NO1.5NO0.75NO0.61NO0.07TIMEOUT60NO0.24NO0.18NO5.66
NO1.54NO0.73NO0.58NO0.06TIMEOUT60NO0.2NO0.19NO5.81