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