1../STP-DIMACS/ESMT-iowa2005/inst10x3_01.stp 2../STP-DIMACS/ESMT-iowa2005/inst10x3_02.stp 3../STP-DIMACS/ESMT-iowa2005/inst10x3_03.stp 4../STP-DIMACS/ESMT-iowa2005/inst10x3_04.stp 5../STP-DIMACS/ESMT-iowa2005/inst10x3_05.stp 6../STP-DIMACS/ESMT-iowa2005/inst10x3_06.stp 7../STP-DIMACS/ESMT-iowa2005/inst10x3_07.stp 8../STP-DIMACS/ESMT-iowa2005/inst10x3_08.stp 9../STP-DIMACS/ESMT-iowa2005/inst10x3_09.stp 10../STP-DIMACS/ESMT-iowa2005/inst10x3_10.stp 11../STP-DIMACS/ESMT-iowa2005/inst10x4_01.stp 12../STP-DIMACS/ESMT-iowa2005/inst10x4_02.stp 13../STP-DIMACS/ESMT-iowa2005/inst10x4_03.stp 14../STP-DIMACS/ESMT-iowa2005/inst10x4_04.stp 15../STP-DIMACS/ESMT-iowa2005/inst10x4_05.stp 16../STP-DIMACS/ESMT-iowa2005/inst10x4_06.stp 17../STP-DIMACS/ESMT-iowa2005/inst10x4_07.stp 18../STP-DIMACS/ESMT-iowa2005/inst10x4_08.stp 19../STP-DIMACS/ESMT-iowa2005/inst10x4_09.stp 20../STP-DIMACS/ESMT-iowa2005/inst10x4_10.stp 21../STP-DIMACS/ESMT-iowa2005/inst10x5_01.stp 22../STP-DIMACS/ESMT-iowa2005/inst10x5_02.stp 23../STP-DIMACS/ESMT-iowa2005/inst10x5_03.stp 24../STP-DIMACS/ESMT-iowa2005/inst10x5_04.stp 25../STP-DIMACS/ESMT-iowa2005/inst10x5_05.stp 26../STP-DIMACS/ESMT-iowa2005/inst10x5_06.stp 27../STP-DIMACS/ESMT-iowa2005/inst10x5_07.stp 28../STP-DIMACS/ESMT-iowa2005/inst10x5_08.stp 29../STP-DIMACS/ESMT-iowa2005/inst10x5_09.stp 30../STP-DIMACS/ESMT-iowa2005/inst10x5_10.stp 31