set hidden3d
set dgrid3d 50,50 qnorm 2
set xlabel "Free variables"
set ylabel "Grounding steps"
set zlabel "Time(s)"
splot  "ex5.time"  u 1:2:4 w l t "Grounding time","ex5.time"  u 1:2:5 w l t "Resolution time"
