Problem name: hard1
Switches: -RELATED -BEST 
hard1,320,43

Problem name: hard2
Switches: -RELATED -BEST 
hard2,470,43

Problem name: random1
Switches: -RELATED -BEST 
random1,470,58

Problem name: random2
Switches: -RELATED -BEST 
random2,280,22

Problem name: n16
Switches: -RELATED -BEST 
n16,2560,84

Problem name: n17
Switches: -RELATED -BEST 
n17,13300,234

