STRATCOMP1-ALL STRATCOMP-770.2-Q 2QBF1 PRIMEIMPL2 ANCESTOR 3COL-SIMPLEX1 3COL-LADDER 3COL-N-LADDER 3COL-RANDOM1 HP-RANDOM1 HAMCYCLE-FREE DECOMP2 BW-P4-Esra-a BW-P5-nopush BW-P5-pushbin BW-P5-nopushbin 3SAT-1 3SAT-1-CONSTRAINT HANOI-Towers RAMSEY CRISTAL HANOI-K 21-QUEENS MSTDir[V=13,A=40] MSTDir[V=15,A=40] MSTUndir[V=13,A=40] MSTUndir[V=15,A=40] TIMETABLING 