Table 1: Detailed numerical results.

Problem NIT NF NG

SC216 2 1 5 16 7
SC219 4 2 28 52 36
SC235 3 1 20 48 30
SC252 3 1 22 46 36
SC254 3 2 18 45 37
SC265 4 2 3 7 3
SC269 5 3 5 10 8
SC344 3 1 12 24 16
HS006 2 1 4 7 5
HS007 2 1 8 14 8
HS008 2 2 3 11 5
HS009 2 1 5 12 6
HS026 3 1 35 87 45
HS028 3 1 7 29 11
HS042 4 2 8 31 10
HS047 5 3 25 86 72
HS050 5 3 12 39 14
HS051 5 3 7 18 9
HS077 5 2 12 22 16
HS079 5 3 11 23 13