Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
1
10
100
1000
Min. time in s
COASTAL
COASTAL
Java-Ranger
Java-Ranger
JayHorn
JayHorn
JBMC
JBMC
JDart
JDart
SPF
SPF
-200
-100
0
100
200
300
400
500
600
Cumulative score
COASTAL
Java-Ranger
JayHorn
JBMC
JDart
SPF