Move Larger programs after SV-COMP in traces

zebedee wastes a lot of time timing out.

Author: sim642

index/traces.txt

@@ -35,20 +35,6 @@ pthread/smtprc_comb.c
 
 
 
-Group: Larger programs
-
-ypbind
-Linux NIS daemon: ypbind-mt
-pthread/ypbind_comb.c
--
-
-zebedee
-Zebedee: Secure IP tunnel
-pthread/zebedee_comb.c
--
-
-
-
 Group: SV-COMP
 
 iowarrior
@@ -86,3 +72,17 @@ linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.i
 svcomp/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.i
 --enable ana.sv-comp.functions
 
+
+
+Group: Larger programs
+
+ypbind
+Linux NIS daemon: ypbind-mt
+pthread/ypbind_comb.c
+-
+
+zebedee
+Zebedee: Secure IP tunnel
+pthread/zebedee_comb.c
+-
+