./t01/b02/instances/0004-ValvesLocationProblem-711-0.asp ./t01/b02/instances/0290-ValvesLocationProblem-73-0.asp ./t01/b02/instances/0024-ValvesLocationProblem-210-0.asp ./t01/b02/instances/0235-ValvesLocationProblem-711-0.asp ./t01/b02/instances/0214-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0109-ValvesLocationProblem-450-0.asp ./t01/b02/instances/0142-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0279-ValvesLocationProblem-166-0.asp ./t01/b02/instances/0014-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0206-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0066-ValvesLocationProblem-73-0.asp ./t01/b02/instances/0257-ValvesLocationProblem-466-0.asp ./t01/b02/instances/0171-ValvesLocationProblem-711-0.asp ./t01/b02/instances/0119-ValvesLocationProblem-166-0.asp ./t01/b02/instances/0195-ValvesLocationProblem-711-0.asp ./t01/b02/instances/0087-ValvesLocationProblem-166-0.asp ./t01/b02/instances/0301-ValvesLocationProblem-450-0.asp ./t01/b02/instances/0246-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0097-ValvesLocationProblem-466-0.asp ./t01/b02/instances/0309-ValvesLocationProblem-450-0.asp ./t01/b02/instances/0076-ValvesLocationProblem-710-0.asp ./t01/b02/instances/0226-ValvesLocationProblem-73-0.asp ./t01/b02/instances/0130-ValvesLocationProblem-73-0.asp ./t01/b02/instances/0185-ValvesLocationProblem-466-0.asp ./t01/b02/instances/0046-ValvesLocationProblem-2053-0.asp ./t01/b02/instances/0036-ValvesLocationProblem-710-0.asp ./t01/b02/instances/0056-ValvesLocationProblem-210-0.asp ./t01/b02/instances/0162-ValvesLocationProblem-73-0.asp ./t01/b02/instances/0152-ValvesLocationProblem-210-0.asp ./t01/b02/instances/0267-ValvesLocationProblem-711-0.asp ./t01/b12/instances/0018-strategic_companies-0-0.asp ./t01/b12/instances/0002-strategic_companies-0-0.asp ./t01/b12/instances/0026-strategic_companies-0-0.asp ./t01/b12/instances/0029-strategic_companies-0-0.asp ./t01/b12/instances/0009-strategic_companies-0-0.asp ./t01/b12/instances/0010-strategic_companies-0-0.asp ./t01/b12/instances/0019-strategic_companies-0-0.asp ./t01/b12/instances/0017-strategic_companies-0-0.asp ./t01/b12/instances/0036-strategic_companies-0-0.asp ./t01/b12/instances/0007-strategic_companies-0-0.asp ./t01/b12/instances/0027-strategic_companies-0-0.asp ./t01/b12/instances/0014-strategic_companies-0-0.asp ./t01/b12/instances/0023-strategic_companies-0-0.asp ./t01/b12/instances/0037-strategic_companies-0-0.asp ./t01/b12/instances/0006-strategic_companies-0-0.asp ./t01/b12/instances/0008-strategic_companies-0-0.asp ./t01/b12/instances/0022-strategic_companies-0-0.asp ./t01/b12/instances/0013-strategic_companies-0-0.asp ./t01/b12/instances/0028-strategic_companies-0-0.asp ./t01/b12/instances/0001-strategic_companies-0-0.asp ./t01/b12/instances/0020-strategic_companies-0-0.asp ./t01/b12/instances/0035-strategic_companies-0-0.asp ./t01/b12/instances/0033-strategic_companies-0-0.asp ./t01/b12/instances/0003-strategic_companies-0-0.asp ./t01/b12/instances/0012-strategic_companies-0-0.asp ./t01/b12/instances/0005-strategic_companies-0-0.asp ./t01/b12/instances/0031-strategic_companies-0-0.asp ./t01/b12/instances/0011-strategic_companies-0-0.asp ./t01/b12/instances/0030-strategic_companies-0-0.asp ./t01/b12/instances/0025-strategic_companies-0-0.asp ./t01/b09/instances/0040-ricochetrobot-16-0.asp ./t01/b09/instances/0026-ricochetrobot-16-0.asp ./t01/b09/instances/0030-ricochetrobot-16-0.asp ./t01/b09/instances/0038-ricochetrobot-16-0.asp ./t01/b09/instances/0031-ricochetrobot-16-0.asp ./t01/b09/instances/0024-ricochetrobot-16-0.asp ./t01/b09/instances/0012-ricochetrobot-16-0.asp ./t01/b09/instances/0044-ricochetrobot-16-0.asp ./t01/b09/instances/0046-ricochetrobot-16-0.asp ./t01/b09/instances/0036-ricochetrobot-16-0.asp ./t01/b09/instances/0020-ricochetrobot-16-0.asp ./t01/b09/instances/0017-ricochetrobot-16-0.asp ./t01/b09/instances/0041-ricochetrobot-16-0.asp ./t01/b09/instances/0010-ricochetrobot-16-0.asp ./t01/b09/instances/0037-ricochetrobot-16-0.asp ./t01/b09/instances/0009-ricochetrobot-16-0.asp ./t01/b09/instances/0048-ricochetrobot-16-0.asp ./t01/b09/instances/0033-ricochetrobot-16-0.asp ./t01/b09/instances/0014-ricochetrobot-16-0.asp ./t01/b09/instances/0008-ricochetrobot-16-0.asp ./t01/b09/instances/0049-ricochetrobot-16-0.asp ./t01/b09/instances/0002-ricochetrobot-16-0.asp ./t01/b09/instances/0001-ricochetrobot-16-0.asp ./t01/b09/instances/0025-ricochetrobot-16-0.asp ./t01/b09/instances/0011-ricochetrobot-16-0.asp ./t01/b09/instances/0006-ricochetrobot-16-0.asp ./t01/b09/instances/0003-ricochetrobot-16-0.asp ./t01/b09/instances/0018-ricochetrobot-16-0.asp ./t01/b09/instances/0023-ricochetrobot-16-0.asp ./t01/b09/instances/0034-ricochetrobot-16-0.asp ./t01/b14/instances/0031-treeWeight-802-0.asp ./t01/b14/instances/0043-treeWeight-467-0.asp ./t01/b14/instances/0042-treeWeight-431-0.asp ./t01/b14/instances/0010-treeWeight-289-0.asp ./t01/b14/instances/0062-treeWeight-660-0.asp ./t01/b14/instances/0047-treeWeight-707-0.asp ./t01/b14/instances/0018-treeWeight-417-0.asp ./t01/b14/instances/0033-treeWeight-754-0.asp ./t01/b14/instances/0012-treeWeight-637-0.asp ./t01/b14/instances/0029-treeWeight-326-0.asp ./t01/b14/instances/0032-treeWeight-832-0.asp ./t01/b14/instances/0057-treeWeight-702-0.asp ./t01/b14/instances/0004-treeWeight-645-0.asp ./t01/b14/instances/0038-treeWeight-605-0.asp ./t01/b14/instances/0040-treeWeight-795-0.asp ./t01/b14/instances/0014-treeWeight-453-0.asp ./t01/b14/instances/0022-treeWeight-302-0.asp ./t01/b14/instances/0003-treeWeight-618-0.asp ./t01/b14/instances/0026-treeWeight-661-0.asp ./t01/b14/instances/0011-treeWeight-653-0.asp ./t01/b14/instances/0008-treeWeight-553-0.asp ./t01/b14/instances/0023-treeWeight-291-0.asp ./t01/b14/instances/0053-treeWeight-679-0.asp ./t01/b14/instances/0060-treeWeight-518-0.asp ./t01/b14/instances/0063-treeWeight-309-0.asp ./t01/b14/instances/0016-treeWeight-445-0.asp ./t01/b14/instances/0001-treeWeight-495-0.asp ./t01/b14/instances/0052-treeWeight-579-0.asp ./t01/b14/instances/0049-treeWeight-782-0.asp ./t01/b14/instances/0046-treeWeight-824-0.asp ./t01/b07/instances/0011-nomystery-68-0.asp ./t01/b07/instances/0013-nomystery-77-0.asp ./t01/b07/instances/0029-nomystery-123-0.asp ./t01/b07/instances/0056-nomystery-135-0.asp ./t01/b07/instances/0010-nomystery-56-0.asp ./t01/b07/instances/0052-nomystery-126-0.asp ./t01/b07/instances/0001-nomystery-18-0.asp ./t01/b07/instances/0045-nomystery-44-0.asp ./t01/b07/instances/0007-nomystery-57-0.asp ./t01/b07/instances/0054-nomystery-117-0.asp ./t01/b07/instances/0035-nomystery-28-0.asp ./t01/b07/instances/0027-nomystery-172-0.asp ./t01/b07/instances/0009-nomystery-63-0.asp ./t01/b07/instances/0021-nomystery-80-0.asp ./t01/b07/instances/0057-nomystery-101-0.asp ./t01/b07/instances/0030-nomystery-117-0.asp ./t01/b07/instances/0039-nomystery-42-0.asp ./t01/b07/instances/0043-nomystery-97-0.asp ./t01/b07/instances/0036-nomystery-47-0.asp ./t01/b07/instances/0020-nomystery-69-0.asp ./t01/b07/instances/0003-nomystery-50-0.asp ./t01/b07/instances/0002-nomystery-32-0.asp ./t01/b07/instances/0028-nomystery-167-0.asp ./t01/b07/instances/0015-nomystery-108-0.asp ./t01/b07/instances/0047-nomystery-74-0.asp ./t01/b07/instances/0023-nomystery-91-0.asp ./t01/b07/instances/0042-nomystery-56-0.asp ./t01/b07/instances/0048-nomystery-76-0.asp ./t01/b07/instances/0040-nomystery-67-0.asp ./t01/b07/instances/0017-nomystery-82-0.asp ./t01/b13/instances/0017-solitaire-29-0.asp ./t01/b13/instances/0024-solitaire-31-0.asp ./t01/b13/instances/0011-solitaire-27-0.asp ./t01/b13/instances/0008-solitaire-26-0.asp ./t01/b13/instances/0020-solitaire-30-0.asp ./t01/b13/instances/0021-solitaire-30-0.asp ./t01/b13/instances/0026-solitaire-32-0.asp ./t01/b13/instances/0004-solitaire-25-0.asp ./t01/b13/instances/0016-solitaire-29-0.asp ./t01/b13/instances/0002-solitaire-24-0.asp ./t01/b13/instances/0007-solitaire-26-0.asp ./t01/b13/instances/0009-solitaire-26-0.asp ./t01/b13/instances/0005-solitaire-25-0.asp ./t01/b13/instances/0027-solitaire-32-0.asp ./t01/b13/instances/0015-solitaire-28-0.asp ./t01/b13/instances/0006-solitaire-25-0.asp ./t01/b13/instances/0019-solitaire-30-0.asp ./t01/b13/instances/0023-solitaire-31-0.asp ./t01/b13/instances/0003-solitaire-24-0.asp ./t01/b13/instances/0014-solitaire-28-0.asp ./t01/b13/instances/0001-solitaire-24-0.asp ./t01/b13/instances/0012-solitaire-27-0.asp ./t01/b13/instances/0013-solitaire-28-0.asp ./t01/b13/instances/0010-solitaire-27-0.asp ./t01/b13/instances/0022-solitaire-31-0.asp ./t01/b13/instances/0025-solitaire-32-0.asp ./t01/b13/instances/0018-solitaire-29-0.asp ./t01/b05/instances/0049-double_wheel_12-48-1.asp ./t01/b05/instances/0003-quadruple_cone_6-30-1.asp ./t01/b05/instances/0020-double_cone_12-36-1.asp ./t01/b05/instances/0030-windmill_5_4-40-1.asp ./t01/b05/instances/0029-windmill_4_4-24-1.asp ./t01/b05/instances/0013-clique_clique_3_3-18-1.asp ./t01/b05/instances/0053-triple_wheel_9-54-1.asp ./t01/b05/instances/0035-suspended_prism_5_4-55-1.asp ./t01/b05/instances/0021-windmill_5_3-30-1.asp ./t01/b05/instances/0040-doughnut_4_5-40-1.asp ./t01/b05/instances/0027-suspended_prism_4_4-44-1.asp ./t01/b05/instances/0043-doughnut_3_7-42-1.asp ./t01/b05/instances/0039-doughnut_3_6-36-1.asp ./t01/b05/instances/0058-prism_6_5-54-1.asp ./t01/b05/instances/0037-windmill_4_5-30-1.asp ./t01/b05/instances/0011-clique_path_8_2-64-1.asp ./t01/b05/instances/0010-triple_cone_9-36-1.asp ./t01/b05/instances/0015-double_cone_10-30-1.asp ./t01/b05/instances/0044-prism_6_3-30-1.asp ./t01/b05/instances/0007-windmill_5_2-20-1.asp ./t01/b05/instances/0055-double_wheel_14-56-1.asp ./t01/b05/instances/0017-clique_clique_5_3-45-1.asp ./t01/b05/instances/0046-prism_5_4-35-1.asp ./t01/b05/instances/0024-suspended_prism_5_3-40-1.asp ./t01/b05/instances/0009-clique_path_6_2-36-1.asp ./t01/b05/instances/0002-triple_cone_6-24-1.asp ./t01/b05/instances/0057-double_wheel_15-60-1.asp ./t01/b05/instances/0031-suspended_prism_8_2-40-1.asp ./t01/b05/instances/0048-triple_wheel_8-48-1.asp ./t01/b05/instances/0001-quadruple_cone_5-25-1.asp ./t01/b04/instances/0016-still_live-21-1.asp ./t01/b04/instances/0010-still_live-15-1.asp ./t01/b04/instances/0020-still_live-25-1.asp ./t01/b04/instances/0003-still_live-8-1.asp ./t01/b04/instances/0007-still_live-12-1.asp ./t01/b04/instances/0026-still_live-31-1.asp ./t01/b04/instances/0017-still_live-22-1.asp ./t01/b04/instances/0002-still_live-7-1.asp ./t01/b04/instances/0011-still_live-16-1.asp ./t01/b04/instances/0014-still_live-19-1.asp ./t01/b04/instances/0018-still_live-23-1.asp ./t01/b04/instances/0019-still_live-24-1.asp ./t01/b04/instances/0012-still_live-17-1.asp ./t01/b04/instances/0004-still_live-9-1.asp ./t01/b04/instances/0008-still_live-13-1.asp ./t01/b04/instances/0021-still_live-26-1.asp ./t01/b04/instances/0009-still_live-14-1.asp ./t01/b04/instances/0022-still_live-27-1.asp ./t01/b04/instances/0001-still_live-6-1.asp ./t01/b04/instances/0015-still_live-20-1.asp ./t01/b04/instances/0025-still_live-30-1.asp ./t01/b04/instances/0006-still_live-11-1.asp ./t01/b04/instances/0005-still_live-10-1.asp ./t01/b04/instances/0024-still_live-29-1.asp ./t01/b04/instances/0013-still_live-18-1.asp ./t01/b04/instances/0023-still_live-28-1.asp ./t01/b08/instances/0730-sokoban-247-1.asp ./t01/b08/instances/0120-sokoban-63-1.asp ./t01/b08/instances/0298-sokoban-126-1.asp ./t01/b08/instances/0948-sokoban-54-1.asp ./t01/b08/instances/0262-sokoban-24-1.asp ./t01/b08/instances/1020-sokoban-352-1.asp ./t01/b08/instances/0802-sokoban-270-1.asp ./t01/b08/instances/0082-sokoban-123-1.asp ./t01/b08/instances/0047-sokoban-144-1.asp ./t01/b08/instances/0443-sokoban-243-1.asp ./t01/b08/instances/0624-sokoban-67-1.asp ./t01/b08/instances/0586-sokoban-63-1.asp ./t01/b08/instances/0334-sokoban-21-1.asp ./t01/b08/instances/0910-sokoban-600-1.asp ./t01/b08/instances/0839-sokoban-90-1.asp ./t01/b08/instances/0156-sokoban-24-1.asp ./t01/b08/instances/1054-sokoban-600-1.asp ./t01/b08/instances/0660-sokoban-168-1.asp ./t01/b08/instances/0516-sokoban-200-1.asp ./t01/b08/instances/0226-sokoban-80-1.asp ./t01/b08/instances/0551-sokoban-49-1.asp ./t01/b08/instances/0012-sokoban-405-1.asp ./t01/b08/instances/0696-sokoban-160-1.asp ./t01/b08/instances/0984-sokoban-165-1.asp ./t01/b08/instances/0480-sokoban-183-1.asp ./t01/b08/instances/0371-sokoban-18-1.asp ./t01/b08/instances/0875-sokoban-264-1.asp ./t01/b08/instances/0406-sokoban-31-1.asp ./t01/b08/instances/0191-sokoban-45-1.asp ./t01/b08/instances/0768-sokoban-160-1.asp ./t01/b10/instances/0024-crossing_minimization-8-0.asp ./t01/b10/instances/0038-crossing_minimization-9-0.asp ./t01/b10/instances/0001-crossing_minimization-9-0.asp ./t01/b10/instances/0078-crossing_minimization-9-0.asp ./t01/b10/instances/0055-crossing_minimization-8-0.asp ./t01/b10/instances/0074-crossing_minimization-8-0.asp ./t01/b10/instances/0028-crossing_minimization-8-0.asp ./t01/b10/instances/0034-crossing_minimization-9-0.asp ./t01/b10/instances/0044-crossing_minimization-10-0.asp ./t01/b10/instances/0052-crossing_minimization-8-0.asp ./t01/b10/instances/0050-crossing_minimization-10-0.asp ./t01/b10/instances/0031-crossing_minimization-8-0.asp ./t01/b10/instances/0012-crossing_minimization-8-0.asp ./t01/b10/instances/0022-crossing_minimization-8-0.asp ./t01/b10/instances/0061-crossing_minimization-8-0.asp ./t01/b10/instances/0056-crossing_minimization-8-0.asp ./t01/b10/instances/0068-crossing_minimization-9-0.asp ./t01/b10/instances/0080-crossing_minimization-8-0.asp ./t01/b10/instances/0005-crossing_minimization-9-0.asp ./t01/b10/instances/0010-crossing_minimization-9-0.asp ./t01/b10/instances/0060-crossing_minimization-8-0.asp ./t01/b10/instances/0014-crossing_minimization-10-0.asp ./t01/b10/instances/0042-crossing_minimization-8-0.asp ./t01/b10/instances/0040-crossing_minimization-9-0.asp ./t01/b10/instances/0003-crossing_minimization-9-0.asp ./t01/b10/instances/0019-crossing_minimization-10-0.asp ./t01/b10/instances/0081-crossing_minimization-9-0.asp ./t01/b10/instances/0070-crossing_minimization-9-0.asp ./t01/b10/instances/0065-crossing_minimization-9-0.asp ./t01/b10/instances/0016-crossing_minimization-10-0.asp ./t01/b01/instances/0035-ppm-250-0.asp ./t01/b01/instances/0162-ppm-120-0.asp ./t01/b01/instances/0082-ppm-20-0.asp ./t01/b01/instances/0155-ppm-120-0.asp ./t01/b01/instances/0135-ppm-90-0.asp ./t01/b01/instances/0090-ppm-50-0.asp ./t01/b01/instances/0123-ppm-120-0.asp ./t01/b01/instances/0023-ppm-200-0.asp ./t01/b01/instances/0075-ppm-50-0.asp ./t01/b01/instances/0190-ppm-140-0.asp ./t01/b01/instances/0117-ppm-70-0.asp ./t01/b01/instances/0183-ppm-120-0.asp ./t01/b01/instances/0015-ppm-350-0.asp ./t01/b01/instances/0054-ppm-250-0.asp ./t01/b01/instances/0041-ppm-350-0.asp ./t01/b01/instances/0130-ppm-90-0.asp ./t01/b01/instances/0102-ppm-20-0.asp ./t01/b01/instances/0107-ppm-50-0.asp ./t01/b01/instances/0194-ppm-120-0.asp ./t01/b01/instances/0061-ppm-70-0.asp ./t01/b01/instances/0009-ppm-200-0.asp ./t01/b01/instances/0069-ppm-70-0.asp ./t01/b01/instances/0176-ppm-120-0.asp ./t01/b01/instances/0003-ppm-250-0.asp ./t01/b01/instances/0096-ppm-50-0.asp ./t01/b01/instances/0048-ppm-350-0.asp ./t01/b01/instances/0030-ppm-350-0.asp ./t01/b01/instances/0168-ppm-90-0.asp ./t01/b01/instances/0143-ppm-90-0.asp ./t01/b01/instances/0147-ppm-140-0.asp ./t01/b11/instances/0002-reachability-0-0.asp ./t01/b11/instances/0030-reachability-0-0.asp ./t01/b11/instances/0031-reachability-0-0.asp ./t01/b11/instances/0037-reachability-0-0.asp ./t01/b11/instances/0003-reachability-0-0.asp ./t01/b11/instances/0015-reachability-0-0.asp ./t01/b11/instances/0017-reachability-0-0.asp ./t01/b11/instances/0044-reachability-0-0.asp ./t01/b11/instances/0035-reachability-0-0.asp ./t01/b11/instances/0007-reachability-0-0.asp ./t01/b11/instances/0010-reachability-0-0.asp ./t01/b11/instances/0048-reachability-0-0.asp ./t01/b11/instances/0020-reachability-0-0.asp ./t01/b11/instances/0011-reachability-0-0.asp ./t01/b11/instances/0024-reachability-0-0.asp ./t01/b11/instances/0055-reachability-0-0.asp ./t01/b11/instances/0046-reachability-0-0.asp ./t01/b11/instances/0021-reachability-0-0.asp ./t01/b11/instances/0029-reachability-0-0.asp ./t01/b11/instances/0049-reachability-0-0.asp ./t01/b11/instances/0001-reachability-0-0.asp ./t01/b11/instances/0009-reachability-0-0.asp ./t01/b11/instances/0043-reachability-0-0.asp ./t01/b11/instances/0058-reachability-0-0.asp ./t01/b11/instances/0027-reachability-0-0.asp ./t01/b11/instances/0039-reachability-0-0.asp ./t01/b11/instances/0057-reachability-0-0.asp ./t01/b11/instances/0013-reachability-0-0.asp ./t01/b11/instances/0040-reachability-0-0.asp ./t01/b11/instances/0053-reachability-0-0.asp ./t01/b15/instances/0001-stablemarriage-0-0.asp ./t01/b15/instances/0017-stablemarriage-0-0.asp ./t01/b15/instances/0026-stablemarriage-0-0.asp ./t01/b15/instances/0025-stablemarriage-0-0.asp ./t01/b15/instances/0009-stablemarriage-0-0.asp ./t01/b15/instances/0006-stablemarriage-0-0.asp ./t01/b15/instances/0024-stablemarriage-0-0.asp ./t01/b15/instances/0038-stablemarriage-0-0.asp ./t01/b15/instances/0048-stablemarriage-0-0.asp ./t01/b15/instances/0046-stablemarriage-0-0.asp ./t01/b15/instances/0049-stablemarriage-0-0.asp ./t01/b15/instances/0040-stablemarriage-0-0.asp ./t01/b15/instances/0018-stablemarriage-0-0.asp ./t01/b15/instances/0008-stablemarriage-0-0.asp ./t01/b15/instances/0014-stablemarriage-0-0.asp ./t01/b15/instances/0037-stablemarriage-0-0.asp ./t01/b15/instances/0034-stablemarriage-0-0.asp ./t01/b15/instances/0020-stablemarriage-0-0.asp ./t01/b15/instances/0010-stablemarriage-0-0.asp ./t01/b15/instances/0012-stablemarriage-0-0.asp ./t01/b15/instances/0044-stablemarriage-0-0.asp ./t01/b15/instances/0030-stablemarriage-0-0.asp ./t01/b15/instances/0003-stablemarriage-0-0.asp ./t01/b15/instances/0031-stablemarriage-0-0.asp ./t01/b15/instances/0002-stablemarriage-0-0.asp ./t01/b15/instances/0033-stablemarriage-0-0.asp ./t01/b15/instances/0023-stablemarriage-0-0.asp ./t01/b15/instances/0036-stablemarriage-0-0.asp ./t01/b15/instances/0041-stablemarriage-0-0.asp ./t01/b15/instances/0011-stablemarriage-0-0.asp ./t01/b06/instances/0048-24-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0073-37-bottle_filling_sat-0-0.asp ./t01/b06/instances/0027-14-bottle_filling_sat-0-0.asp ./t01/b06/instances/0059-30-bottle_filling_sat-0-0.asp ./t01/b06/instances/0092-46-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0088-44-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0062-31-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0030-15-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0095-48-bottle_filling_sat-0-0.asp ./t01/b06/instances/0083-42-bottle_filling_sat-0-0.asp ./t01/b06/instances/0005-03-bottle_filling_sat-0-0.asp ./t01/b06/instances/0034-17-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0020-10-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0012-06-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0017-09-bottle_filling_sat-0-0.asp ./t01/b06/instances/0015-08-bottle_filling_sat-0-0.asp ./t01/b06/instances/0041-21-bottle_filling_sat-0-0.asp ./t01/b06/instances/0077-39-bottle_filling_sat-0-0.asp ./t01/b06/instances/0081-41-bottle_filling_sat-0-0.asp ./t01/b06/instances/0067-34-bottle_filling_sat-0-0.asp ./t01/b06/instances/0007-04-bottle_filling_sat-0-0.asp ./t01/b06/instances/0066-33-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0045-23-bottle_filling_sat-0-0.asp ./t01/b06/instances/0096-48-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0002-01-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0024-12-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0072-36-bottle_filling_unsat-0-0.asp ./t01/b06/instances/0053-27-bottle_filling_sat-0-0.asp ./t01/b06/instances/0037-19-bottle_filling_sat-0-0.asp ./t01/b06/instances/0051-26-bottle_filling_sat-0-0.asp ./t01/b16/instances/0223-incremental_scheduling-27000-0.asp ./t01/b16/instances/0006-incremental_scheduling-12000-0.asp ./t01/b16/instances/0088-incremental_scheduling-14520-0.asp ./t01/b16/instances/0239-incremental_scheduling-27000-0.asp ./t01/b16/instances/0487-incremental_scheduling-198120-0.asp ./t01/b16/instances/0456-incremental_scheduling-192000-0.asp ./t01/b16/instances/0038-incremental_scheduling-12000-0.asp ./t01/b16/instances/0255-incremental_scheduling-40680-0.asp ./t01/b16/instances/0356-incremental_scheduling-75000-0.asp ./t01/b16/instances/0205-incremental_scheduling-28245-0.asp ./t01/b16/instances/0405-incremental_scheduling-108000-0.asp ./t01/b16/instances/0421-incremental_scheduling-108000-0.asp ./t01/b16/instances/0022-incremental_scheduling-12770-0.asp ./t01/b16/instances/0388-incremental_scheduling-79500-0.asp ./t01/b16/instances/0172-incremental_scheduling-17280-0.asp ./t01/b16/instances/0073-incremental_scheduling-14520-0.asp ./t01/b16/instances/0104-incremental_scheduling-17280-0.asp ./t01/b16/instances/0290-incremental_scheduling-38880-0.asp ./t01/b16/instances/0473-incremental_scheduling-192000-0.asp ./t01/b16/instances/0270-incremental_scheduling-40032-0.asp ./t01/b16/instances/0056-incremental_scheduling-14520-0.asp ./t01/b16/instances/0121-incremental_scheduling-17280-0.asp ./t01/b16/instances/0439-incremental_scheduling-108000-0.asp ./t01/b16/instances/0338-incremental_scheduling-48000-0.asp ./t01/b16/instances/0370-incremental_scheduling-75000-0.asp ./t01/b16/instances/0137-incremental_scheduling-18744-0.asp ./t01/b16/instances/0188-incremental_scheduling-18264-0.asp ./t01/b16/instances/0323-incremental_scheduling-49740-0.asp ./t01/b16/instances/0306-incremental_scheduling-50100-0.asp ./t01/b16/instances/0154-incremental_scheduling-17280-0.asp ./t02/b20/instances/0037-visitall-73-1.asp ./t02/b20/instances/0072-visitall-49-1.asp ./t02/b20/instances/0002-visitall-14-1.asp ./t02/b20/instances/0027-visitall-26-1.asp ./t02/b20/instances/0034-visitall-55-1.asp ./t02/b20/instances/0066-visitall-33-1.asp ./t02/b20/instances/0053-visitall-59-1.asp ./t02/b20/instances/0017-visitall-67-1.asp ./t02/b20/instances/0020-visitall-67-1.asp ./t02/b20/instances/0007-visitall-24-1.asp ./t02/b20/instances/0005-visitall-24-1.asp ./t02/b20/instances/0096-visitall-92-1.asp ./t02/b20/instances/0059-visitall-79-1.asp ./t02/b20/instances/0073-visitall-69-1.asp ./t02/b20/instances/0041-visitall-16-1.asp ./t02/b20/instances/0081-visitall-26-1.asp ./t02/b20/instances/0051-visitall-42-1.asp ./t02/b20/instances/0067-visitall-33-1.asp ./t02/b20/instances/0083-visitall-26-1.asp ./t02/b20/instances/0048-visitall-28-1.asp ./t02/b20/instances/0077-visitall-91-1.asp ./t02/b20/instances/0015-visitall-50-1.asp ./t02/b20/instances/0092-visitall-66-1.asp ./t02/b20/instances/0024-visitall-15-1.asp ./t02/b20/instances/0012-visitall-36-1.asp ./t02/b20/instances/0062-visitall-19-1.asp ./t02/b20/instances/0045-visitall-28-1.asp ./t02/b20/instances/0095-visitall-92-1.asp ./t02/b20/instances/0088-visitall-44-1.asp ./t02/b20/instances/0030-visitall-39-1.asp ./t02/b02/instances/0004-ValvesLocationProblem-711-0.asp ./t02/b02/instances/0290-ValvesLocationProblem-73-0.asp ./t02/b02/instances/0024-ValvesLocationProblem-210-0.asp ./t02/b02/instances/0235-ValvesLocationProblem-711-0.asp ./t02/b02/instances/0214-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0109-ValvesLocationProblem-450-0.asp ./t02/b02/instances/0142-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0279-ValvesLocationProblem-166-0.asp ./t02/b02/instances/0014-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0206-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0066-ValvesLocationProblem-73-0.asp ./t02/b02/instances/0257-ValvesLocationProblem-466-0.asp ./t02/b02/instances/0171-ValvesLocationProblem-711-0.asp ./t02/b02/instances/0119-ValvesLocationProblem-166-0.asp ./t02/b02/instances/0195-ValvesLocationProblem-711-0.asp ./t02/b02/instances/0087-ValvesLocationProblem-166-0.asp ./t02/b02/instances/0301-ValvesLocationProblem-450-0.asp ./t02/b02/instances/0246-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0097-ValvesLocationProblem-466-0.asp ./t02/b02/instances/0309-ValvesLocationProblem-450-0.asp ./t02/b02/instances/0076-ValvesLocationProblem-710-0.asp ./t02/b02/instances/0226-ValvesLocationProblem-73-0.asp ./t02/b02/instances/0130-ValvesLocationProblem-73-0.asp ./t02/b02/instances/0185-ValvesLocationProblem-466-0.asp ./t02/b02/instances/0046-ValvesLocationProblem-2053-0.asp ./t02/b02/instances/0036-ValvesLocationProblem-710-0.asp ./t02/b02/instances/0056-ValvesLocationProblem-210-0.asp ./t02/b02/instances/0162-ValvesLocationProblem-73-0.asp ./t02/b02/instances/0152-ValvesLocationProblem-210-0.asp ./t02/b02/instances/0267-ValvesLocationProblem-711-0.asp ./t02/b12/instances/0018-strategic_companies-0-0.asp ./t02/b12/instances/0002-strategic_companies-0-0.asp ./t02/b12/instances/0026-strategic_companies-0-0.asp ./t02/b12/instances/0029-strategic_companies-0-0.asp ./t02/b12/instances/0009-strategic_companies-0-0.asp ./t02/b12/instances/0010-strategic_companies-0-0.asp ./t02/b12/instances/0019-strategic_companies-0-0.asp ./t02/b12/instances/0017-strategic_companies-0-0.asp ./t02/b12/instances/0036-strategic_companies-0-0.asp ./t02/b12/instances/0007-strategic_companies-0-0.asp ./t02/b12/instances/0027-strategic_companies-0-0.asp ./t02/b12/instances/0014-strategic_companies-0-0.asp ./t02/b12/instances/0023-strategic_companies-0-0.asp ./t02/b12/instances/0037-strategic_companies-0-0.asp ./t02/b12/instances/0006-strategic_companies-0-0.asp ./t02/b12/instances/0008-strategic_companies-0-0.asp ./t02/b12/instances/0022-strategic_companies-0-0.asp ./t02/b12/instances/0013-strategic_companies-0-0.asp ./t02/b12/instances/0028-strategic_companies-0-0.asp ./t02/b12/instances/0001-strategic_companies-0-0.asp ./t02/b12/instances/0020-strategic_companies-0-0.asp ./t02/b12/instances/0035-strategic_companies-0-0.asp ./t02/b12/instances/0033-strategic_companies-0-0.asp ./t02/b12/instances/0003-strategic_companies-0-0.asp ./t02/b12/instances/0012-strategic_companies-0-0.asp ./t02/b12/instances/0005-strategic_companies-0-0.asp ./t02/b12/instances/0031-strategic_companies-0-0.asp ./t02/b12/instances/0011-strategic_companies-0-0.asp ./t02/b12/instances/0030-strategic_companies-0-0.asp ./t02/b12/instances/0025-strategic_companies-0-0.asp ./t02/b09/instances/0040-ricochetrobot-16-0.asp ./t02/b09/instances/0026-ricochetrobot-16-0.asp ./t02/b09/instances/0030-ricochetrobot-16-0.asp ./t02/b09/instances/0038-ricochetrobot-16-0.asp ./t02/b09/instances/0031-ricochetrobot-16-0.asp ./t02/b09/instances/0024-ricochetrobot-16-0.asp ./t02/b09/instances/0012-ricochetrobot-16-0.asp ./t02/b09/instances/0044-ricochetrobot-16-0.asp ./t02/b09/instances/0046-ricochetrobot-16-0.asp ./t02/b09/instances/0036-ricochetrobot-16-0.asp ./t02/b09/instances/0020-ricochetrobot-16-0.asp ./t02/b09/instances/0017-ricochetrobot-16-0.asp ./t02/b09/instances/0041-ricochetrobot-16-0.asp ./t02/b09/instances/0010-ricochetrobot-16-0.asp ./t02/b09/instances/0037-ricochetrobot-16-0.asp ./t02/b09/instances/0009-ricochetrobot-16-0.asp ./t02/b09/instances/0048-ricochetrobot-16-0.asp ./t02/b09/instances/0033-ricochetrobot-16-0.asp ./t02/b09/instances/0014-ricochetrobot-16-0.asp ./t02/b09/instances/0008-ricochetrobot-16-0.asp ./t02/b09/instances/0049-ricochetrobot-16-0.asp ./t02/b09/instances/0002-ricochetrobot-16-0.asp ./t02/b09/instances/0001-ricochetrobot-16-0.asp ./t02/b09/instances/0025-ricochetrobot-16-0.asp ./t02/b09/instances/0011-ricochetrobot-16-0.asp ./t02/b09/instances/0006-ricochetrobot-16-0.asp ./t02/b09/instances/0003-ricochetrobot-16-0.asp ./t02/b09/instances/0018-ricochetrobot-16-0.asp ./t02/b09/instances/0023-ricochetrobot-16-0.asp ./t02/b09/instances/0034-ricochetrobot-16-0.asp ./t02/b26/instances/0029-hanoi_tower-60-0.asp ./t02/b26/instances/0011-hanoi_tower-30-0.asp ./t02/b26/instances/0031-hanoi_tower-60-0.asp ./t02/b26/instances/0030-hanoi_tower-60-0.asp ./t02/b26/instances/0046-hanoi_tower-100-0.asp ./t02/b26/instances/0039-hanoi_tower-80-0.asp ./t02/b26/instances/0043-hanoi_tower-100-0.asp ./t02/b26/instances/0058-hanoi_tower-120-0.asp ./t02/b26/instances/0055-hanoi_tower-120-0.asp ./t02/b26/instances/0027-hanoi_tower-60-0.asp ./t02/b26/instances/0009-hanoi_tower-28-0.asp ./t02/b26/instances/0007-hanoi_tower-60-0.asp ./t02/b26/instances/0001-hanoi_tower-60-0.asp ./t02/b26/instances/0010-hanoi_tower-29-0.asp ./t02/b26/instances/0053-hanoi_tower-120-0.asp ./t02/b26/instances/0057-hanoi_tower-120-0.asp ./t02/b26/instances/0049-hanoi_tower-120-0.asp ./t02/b26/instances/0002-hanoi_tower-60-0.asp ./t02/b26/instances/0020-hanoi_tower-40-0.asp ./t02/b26/instances/0035-hanoi_tower-60-0.asp ./t02/b26/instances/0037-hanoi_tower-80-0.asp ./t02/b26/instances/0040-hanoi_tower-80-0.asp ./t02/b26/instances/0021-hanoi_tower-40-0.asp ./t02/b26/instances/0015-hanoi_tower-34-0.asp ./t02/b26/instances/0013-hanoi_tower-32-0.asp ./t02/b26/instances/0044-hanoi_tower-100-0.asp ./t02/b26/instances/0017-hanoi_tower-40-0.asp ./t02/b26/instances/0048-hanoi_tower-120-0.asp ./t02/b26/instances/0003-hanoi_tower-60-0.asp ./t02/b26/instances/0024-hanoi_tower-60-0.asp ./t02/b14/instances/0031-treeWeight-802-0.asp ./t02/b14/instances/0043-treeWeight-467-0.asp ./t02/b14/instances/0042-treeWeight-431-0.asp ./t02/b14/instances/0010-treeWeight-289-0.asp ./t02/b14/instances/0062-treeWeight-660-0.asp ./t02/b14/instances/0047-treeWeight-707-0.asp ./t02/b14/instances/0018-treeWeight-417-0.asp ./t02/b14/instances/0033-treeWeight-754-0.asp ./t02/b14/instances/0012-treeWeight-637-0.asp ./t02/b14/instances/0029-treeWeight-326-0.asp ./t02/b14/instances/0032-treeWeight-832-0.asp ./t02/b14/instances/0057-treeWeight-702-0.asp ./t02/b14/instances/0004-treeWeight-645-0.asp ./t02/b14/instances/0038-treeWeight-605-0.asp ./t02/b14/instances/0040-treeWeight-795-0.asp ./t02/b14/instances/0014-treeWeight-453-0.asp ./t02/b14/instances/0022-treeWeight-302-0.asp ./t02/b14/instances/0003-treeWeight-618-0.asp ./t02/b14/instances/0026-treeWeight-661-0.asp ./t02/b14/instances/0011-treeWeight-653-0.asp ./t02/b14/instances/0008-treeWeight-553-0.asp ./t02/b14/instances/0023-treeWeight-291-0.asp ./t02/b14/instances/0053-treeWeight-679-0.asp ./t02/b14/instances/0060-treeWeight-518-0.asp ./t02/b14/instances/0063-treeWeight-309-0.asp ./t02/b14/instances/0016-treeWeight-445-0.asp ./t02/b14/instances/0001-treeWeight-495-0.asp ./t02/b14/instances/0052-treeWeight-579-0.asp ./t02/b14/instances/0049-treeWeight-782-0.asp ./t02/b14/instances/0046-treeWeight-824-0.asp ./t02/b07/instances/0011-nomystery-68-0.asp ./t02/b07/instances/0013-nomystery-77-0.asp ./t02/b07/instances/0029-nomystery-123-0.asp ./t02/b07/instances/0056-nomystery-135-0.asp ./t02/b07/instances/0010-nomystery-56-0.asp ./t02/b07/instances/0052-nomystery-126-0.asp ./t02/b07/instances/0001-nomystery-18-0.asp ./t02/b07/instances/0045-nomystery-44-0.asp ./t02/b07/instances/0007-nomystery-57-0.asp ./t02/b07/instances/0054-nomystery-117-0.asp ./t02/b07/instances/0035-nomystery-28-0.asp ./t02/b07/instances/0027-nomystery-172-0.asp ./t02/b07/instances/0009-nomystery-63-0.asp ./t02/b07/instances/0021-nomystery-80-0.asp ./t02/b07/instances/0057-nomystery-101-0.asp ./t02/b07/instances/0030-nomystery-117-0.asp ./t02/b07/instances/0039-nomystery-42-0.asp ./t02/b07/instances/0043-nomystery-97-0.asp ./t02/b07/instances/0036-nomystery-47-0.asp ./t02/b07/instances/0020-nomystery-69-0.asp ./t02/b07/instances/0003-nomystery-50-0.asp ./t02/b07/instances/0002-nomystery-32-0.asp ./t02/b07/instances/0028-nomystery-167-0.asp ./t02/b07/instances/0015-nomystery-108-0.asp ./t02/b07/instances/0047-nomystery-74-0.asp ./t02/b07/instances/0023-nomystery-91-0.asp ./t02/b07/instances/0042-nomystery-56-0.asp ./t02/b07/instances/0048-nomystery-76-0.asp ./t02/b07/instances/0040-nomystery-67-0.asp ./t02/b07/instances/0017-nomystery-82-0.asp ./t02/b22/instances/0022-knight_tour-35-0.asp ./t02/b22/instances/0103-knight_tour-55-0.asp ./t02/b22/instances/0252-knight_tour-90-0.asp ./t02/b22/instances/0112-knight_tour-55-0.asp ./t02/b22/instances/0044-knight_tour-40-0.asp ./t02/b22/instances/0264-knight_tour-95-0.asp ./t02/b22/instances/0194-knight_tour-75-0.asp ./t02/b22/instances/0092-knight_tour-50-0.asp ./t02/b22/instances/0053-knight_tour-40-0.asp ./t02/b22/instances/0082-knight_tour-50-0.asp ./t02/b22/instances/0284-knight_tour-100-0.asp ./t02/b22/instances/0292-knight_tour-100-0.asp ./t02/b22/instances/0144-knight_tour-65-0.asp ./t02/b22/instances/0134-knight_tour-60-0.asp ./t02/b22/instances/0123-knight_tour-60-0.asp ./t02/b22/instances/0062-knight_tour-45-0.asp ./t02/b22/instances/0243-knight_tour-90-0.asp ./t02/b22/instances/0013-knight_tour-30-0.asp ./t02/b22/instances/0072-knight_tour-45-0.asp ./t02/b22/instances/0274-knight_tour-95-0.asp ./t02/b22/instances/0202-knight_tour-80-0.asp ./t02/b22/instances/0214-knight_tour-80-0.asp ./t02/b22/instances/0184-knight_tour-75-0.asp ./t02/b22/instances/0222-knight_tour-85-0.asp ./t02/b22/instances/0174-knight_tour-70-0.asp ./t02/b22/instances/0004-knight_tour-30-0.asp ./t02/b22/instances/0034-knight_tour-35-0.asp ./t02/b22/instances/0233-knight_tour-85-0.asp ./t02/b22/instances/0153-knight_tour-65-0.asp ./t02/b22/instances/0162-knight_tour-70-0.asp ./t02/b19/instances/0030-adf_wf-10-8.asp ./t02/b19/instances/0061-adf_wf-15-8.asp ./t02/b19/instances/0135-adf_wf-25-8.asp ./t02/b19/instances/0035-adf_wf-10-8.asp ./t02/b19/instances/0041-adf_wf-15-8.asp ./t02/b19/instances/0069-adf_wf-15-8.asp ./t02/b19/instances/0162-adf_wf-30-8.asp ./t02/b19/instances/0123-adf_wf-25-8.asp ./t02/b19/instances/0155-adf_wf-25-8.asp ./t02/b19/instances/0130-adf_wf-25-8.asp ./t02/b19/instances/0015-adf_wf-10-8.asp ./t02/b19/instances/0168-adf_wf-30-8.asp ./t02/b19/instances/0048-adf_wf-15-8.asp ./t02/b19/instances/0075-adf_wf-15-8.asp ./t02/b19/instances/0096-adf_wf-20-8.asp ./t02/b19/instances/0176-adf_wf-30-8.asp ./t02/b19/instances/0009-adf_wf-10-8.asp ./t02/b19/instances/0107-adf_wf-20-8.asp ./t02/b19/instances/0023-adf_wf-10-8.asp ./t02/b19/instances/0147-adf_wf-25-8.asp ./t02/b19/instances/0143-adf_wf-25-8.asp ./t02/b19/instances/0183-adf_wf-30-8.asp ./t02/b19/instances/0082-adf_wf-20-8.asp ./t02/b19/instances/0102-adf_wf-20-8.asp ./t02/b19/instances/0194-adf_wf-30-8.asp ./t02/b19/instances/0190-adf_wf-30-8.asp ./t02/b19/instances/0054-adf_wf-15-8.asp ./t02/b19/instances/0117-adf_wf-20-8.asp ./t02/b19/instances/0003-adf_wf-10-8.asp ./t02/b19/instances/0090-adf_wf-20-8.asp ./t02/b13/instances/0017-solitaire-29-0.asp ./t02/b13/instances/0024-solitaire-31-0.asp ./t02/b13/instances/0011-solitaire-27-0.asp ./t02/b13/instances/0008-solitaire-26-0.asp ./t02/b13/instances/0020-solitaire-30-0.asp ./t02/b13/instances/0021-solitaire-30-0.asp ./t02/b13/instances/0026-solitaire-32-0.asp ./t02/b13/instances/0004-solitaire-25-0.asp ./t02/b13/instances/0016-solitaire-29-0.asp ./t02/b13/instances/0002-solitaire-24-0.asp ./t02/b13/instances/0007-solitaire-26-0.asp ./t02/b13/instances/0009-solitaire-26-0.asp ./t02/b13/instances/0005-solitaire-25-0.asp ./t02/b13/instances/0027-solitaire-32-0.asp ./t02/b13/instances/0015-solitaire-28-0.asp ./t02/b13/instances/0006-solitaire-25-0.asp ./t02/b13/instances/0019-solitaire-30-0.asp ./t02/b13/instances/0023-solitaire-31-0.asp ./t02/b13/instances/0003-solitaire-24-0.asp ./t02/b13/instances/0014-solitaire-28-0.asp ./t02/b13/instances/0001-solitaire-24-0.asp ./t02/b13/instances/0012-solitaire-27-0.asp ./t02/b13/instances/0013-solitaire-28-0.asp ./t02/b13/instances/0010-solitaire-27-0.asp ./t02/b13/instances/0022-solitaire-31-0.asp ./t02/b13/instances/0025-solitaire-32-0.asp ./t02/b13/instances/0018-solitaire-29-0.asp ./t02/b25/instances/0178-minimal_diagnosis-274-0.asp ./t02/b25/instances/0145-minimal_diagnosis-249-0.asp ./t02/b25/instances/0076-minimal_diagnosis-199-0.asp ./t02/b25/instances/0119-minimal_diagnosis-224-0.asp ./t02/b25/instances/0209-minimal_diagnosis-299-0.asp ./t02/b25/instances/0051-minimal_diagnosis-199-0.asp ./t02/b25/instances/0134-minimal_diagnosis-249-0.asp ./t02/b25/instances/0028-minimal_diagnosis-174-0.asp ./t02/b25/instances/0043-minimal_diagnosis-174-0.asp ./t02/b25/instances/0202-minimal_diagnosis-274-0.asp ./t02/b25/instances/0018-minimal_diagnosis-174-0.asp ./t02/b25/instances/0153-minimal_diagnosis-249-0.asp ./t02/b25/instances/0111-minimal_diagnosis-224-0.asp ./t02/b25/instances/0068-minimal_diagnosis-199-0.asp ./t02/b25/instances/0011-minimal_diagnosis-149-0.asp ./t02/b25/instances/0242-minimal_diagnosis-299-0.asp ./t02/b25/instances/0184-minimal_diagnosis-274-0.asp ./t02/b25/instances/0003-minimal_diagnosis-149-0.asp ./t02/b25/instances/0036-minimal_diagnosis-174-0.asp ./t02/b25/instances/0193-minimal_diagnosis-274-0.asp ./t02/b25/instances/0093-minimal_diagnosis-224-0.asp ./t02/b25/instances/0102-minimal_diagnosis-224-0.asp ./t02/b25/instances/0085-minimal_diagnosis-224-0.asp ./t02/b25/instances/0219-minimal_diagnosis-299-0.asp ./t02/b25/instances/0168-minimal_diagnosis-274-0.asp ./t02/b25/instances/0236-minimal_diagnosis-299-0.asp ./t02/b25/instances/0127-minimal_diagnosis-249-0.asp ./t02/b25/instances/0162-minimal_diagnosis-274-0.asp ./t02/b25/instances/0060-minimal_diagnosis-199-0.asp ./t02/b25/instances/0228-minimal_diagnosis-299-0.asp ./t02/b05/instances/0049-double_wheel_12-48-1.asp ./t02/b05/instances/0003-quadruple_cone_6-30-1.asp ./t02/b05/instances/0020-double_cone_12-36-1.asp ./t02/b05/instances/0030-windmill_5_4-40-1.asp ./t02/b05/instances/0029-windmill_4_4-24-1.asp ./t02/b05/instances/0013-clique_clique_3_3-18-1.asp ./t02/b05/instances/0053-triple_wheel_9-54-1.asp ./t02/b05/instances/0035-suspended_prism_5_4-55-1.asp ./t02/b05/instances/0021-windmill_5_3-30-1.asp ./t02/b05/instances/0040-doughnut_4_5-40-1.asp ./t02/b05/instances/0027-suspended_prism_4_4-44-1.asp ./t02/b05/instances/0043-doughnut_3_7-42-1.asp ./t02/b05/instances/0039-doughnut_3_6-36-1.asp ./t02/b05/instances/0058-prism_6_5-54-1.asp ./t02/b05/instances/0037-windmill_4_5-30-1.asp ./t02/b05/instances/0011-clique_path_8_2-64-1.asp ./t02/b05/instances/0010-triple_cone_9-36-1.asp ./t02/b05/instances/0015-double_cone_10-30-1.asp ./t02/b05/instances/0044-prism_6_3-30-1.asp ./t02/b05/instances/0007-windmill_5_2-20-1.asp ./t02/b05/instances/0055-double_wheel_14-56-1.asp ./t02/b05/instances/0017-clique_clique_5_3-45-1.asp ./t02/b05/instances/0046-prism_5_4-35-1.asp ./t02/b05/instances/0024-suspended_prism_5_3-40-1.asp ./t02/b05/instances/0009-clique_path_6_2-36-1.asp ./t02/b05/instances/0002-triple_cone_6-24-1.asp ./t02/b05/instances/0057-double_wheel_15-60-1.asp ./t02/b05/instances/0031-suspended_prism_8_2-40-1.asp ./t02/b05/instances/0048-triple_wheel_8-48-1.asp ./t02/b05/instances/0001-quadruple_cone_5-25-1.asp ./t02/b21/instances/0022-ComplexOPTjnh219cnf0246-0-0.asp ./t02/b21/instances/0003-ComplexOPTaim20016no3cnf0246-0-0.asp ./t02/b21/instances/0046-ComplexOPTedgeheatshockwt715-0-0.asp ./t02/b21/instances/0059-ComplexOPTvertexheatshockwt1015-0-0.asp ./t02/b21/instances/0055-ComplexOPTedgestatvsexp615-0-0.asp ./t02/b21/instances/0062-ComplexOPTvertexheatshockwt315-0-0.asp ./t02/b21/instances/0009-ComplexOPTjnh14cnf0246-0-0.asp ./t02/b21/instances/0028-ComplexOPTjnh306cnf0246-0-0.asp ./t02/b21/instances/0052-ComplexOPTedgestatvsexp315-0-0.asp ./t02/b21/instances/0005-ComplexOPTaim20020no2cnf0246-0-0.asp ./t02/b21/instances/0031-ComplexOPTjnh309cnf0246-0-0.asp ./t02/b21/instances/0056-ComplexOPTedgestatvsexp715-0-0.asp ./t02/b21/instances/0037-ComplexOPTjnh8cnf0246-0-0.asp ./t02/b21/instances/0015-ComplexOPTjnh206cnf0246-0-0.asp ./t02/b21/instances/0051-ComplexOPTedgestatvsexp215-0-0.asp ./t02/b21/instances/0035-ComplexOPTjnh5cnf0246-0-0.asp ./t02/b21/instances/0075-ComplexOPTvertexstatvsexp615-0-0.asp ./t02/b21/instances/0071-ComplexOPTvertexstatvsexp215-0-0.asp ./t02/b21/instances/0040-ComplexOPTedgeheatshockwt115-0-0.asp ./t02/b21/instances/0048-ComplexOPTedgeheatshockwt915-0-0.asp ./t02/b21/instances/0011-ComplexOPTjnh16cnf0246-0-0.asp ./t02/b21/instances/0074-ComplexOPTvertexstatvsexp515-0-0.asp ./t02/b21/instances/0001-ComplexOPTaim20016no1cnf0246-0-0.asp ./t02/b21/instances/0026-ComplexOPTjnh304cnf0246-0-0.asp ./t02/b21/instances/0013-ComplexOPTjnh19cnf0246-0-0.asp ./t02/b21/instances/0064-ComplexOPTvertexheatshockwt515-0-0.asp ./t02/b21/instances/0039-ComplexOPTedgeheatshockwt1015-0-0.asp ./t02/b21/instances/0017-ComplexOPTjnh20cnf0246-0-0.asp ./t02/b21/instances/0068-ComplexOPTvertexheatshockwt915-0-0.asp ./t02/b04/instances/0016-still_live-21-1.asp ./t02/b04/instances/0010-still_live-15-1.asp ./t02/b04/instances/0020-still_live-25-1.asp ./t02/b04/instances/0003-still_live-8-1.asp ./t02/b04/instances/0007-still_live-12-1.asp ./t02/b04/instances/0026-still_live-31-1.asp ./t02/b04/instances/0017-still_live-22-1.asp ./t02/b04/instances/0002-still_live-7-1.asp ./t02/b04/instances/0011-still_live-16-1.asp ./t02/b04/instances/0014-still_live-19-1.asp ./t02/b04/instances/0018-still_live-23-1.asp ./t02/b04/instances/0019-still_live-24-1.asp ./t02/b04/instances/0012-still_live-17-1.asp ./t02/b04/instances/0004-still_live-9-1.asp ./t02/b04/instances/0008-still_live-13-1.asp ./t02/b04/instances/0021-still_live-26-1.asp ./t02/b04/instances/0009-still_live-14-1.asp ./t02/b04/instances/0022-still_live-27-1.asp ./t02/b04/instances/0001-still_live-6-1.asp ./t02/b04/instances/0015-still_live-20-1.asp ./t02/b04/instances/0025-still_live-30-1.asp ./t02/b04/instances/0006-still_live-11-1.asp ./t02/b04/instances/0005-still_live-10-1.asp ./t02/b04/instances/0024-still_live-29-1.asp ./t02/b04/instances/0013-still_live-18-1.asp ./t02/b04/instances/0023-still_live-28-1.asp ./t02/b08/instances/0730-sokoban-247-1.asp ./t02/b08/instances/0120-sokoban-63-1.asp ./t02/b08/instances/0298-sokoban-126-1.asp ./t02/b08/instances/0948-sokoban-54-1.asp ./t02/b08/instances/0262-sokoban-24-1.asp ./t02/b08/instances/1020-sokoban-352-1.asp ./t02/b08/instances/0802-sokoban-270-1.asp ./t02/b08/instances/0082-sokoban-123-1.asp ./t02/b08/instances/0047-sokoban-144-1.asp ./t02/b08/instances/0443-sokoban-243-1.asp ./t02/b08/instances/0624-sokoban-67-1.asp ./t02/b08/instances/0586-sokoban-63-1.asp ./t02/b08/instances/0334-sokoban-21-1.asp ./t02/b08/instances/0910-sokoban-600-1.asp ./t02/b08/instances/0839-sokoban-90-1.asp ./t02/b08/instances/0156-sokoban-24-1.asp ./t02/b08/instances/1054-sokoban-600-1.asp ./t02/b08/instances/0660-sokoban-168-1.asp ./t02/b08/instances/0516-sokoban-200-1.asp ./t02/b08/instances/0226-sokoban-80-1.asp ./t02/b08/instances/0551-sokoban-49-1.asp ./t02/b08/instances/0012-sokoban-405-1.asp ./t02/b08/instances/0696-sokoban-160-1.asp ./t02/b08/instances/0984-sokoban-165-1.asp ./t02/b08/instances/0480-sokoban-183-1.asp ./t02/b08/instances/0371-sokoban-18-1.asp ./t02/b08/instances/0875-sokoban-264-1.asp ./t02/b08/instances/0406-sokoban-31-1.asp ./t02/b08/instances/0191-sokoban-45-1.asp ./t02/b08/instances/0768-sokoban-160-1.asp ./t02/b23/instances/0034-Maximal_Clique-425-0.asp ./t02/b23/instances/0036-Maximal_Clique-425-0.asp ./t02/b23/instances/0011-Maximal_Clique-275-0.asp ./t02/b23/instances/0014-Maximal_Clique-300-0.asp ./t02/b23/instances/0041-Maximal_Clique-475-0.asp ./t02/b23/instances/0031-Maximal_Clique-400-0.asp ./t02/b23/instances/0025-Maximal_Clique-375-0.asp ./t02/b23/instances/0044-Maximal_Clique-475-0.asp ./t02/b23/instances/0033-Maximal_Clique-425-0.asp ./t02/b23/instances/0046-Maximal_Clique-500-0.asp ./t02/b23/instances/0010-Maximal_Clique-275-0.asp ./t02/b23/instances/0040-Maximal_Clique-450-0.asp ./t02/b23/instances/0009-Maximal_Clique-275-0.asp ./t02/b23/instances/0018-Maximal_Clique-325-0.asp ./t02/b23/instances/0030-Maximal_Clique-400-0.asp ./t02/b23/instances/0017-Maximal_Clique-325-0.asp ./t02/b23/instances/0049-Maximal_Clique-600-0.asp ./t02/b23/instances/0037-Maximal_Clique-450-0.asp ./t02/b23/instances/0023-Maximal_Clique-350-0.asp ./t02/b23/instances/0012-Maximal_Clique-275-0.asp ./t02/b23/instances/0048-Maximal_Clique-500-0.asp ./t02/b23/instances/0002-Maximal_Clique-225-0.asp ./t02/b23/instances/0024-Maximal_Clique-350-0.asp ./t02/b23/instances/0038-Maximal_Clique-450-0.asp ./t02/b23/instances/0008-Maximal_Clique-250-0.asp ./t02/b23/instances/0026-Maximal_Clique-375-0.asp ./t02/b23/instances/0006-Maximal_Clique-250-0.asp ./t02/b23/instances/0003-Maximal_Clique-225-0.asp ./t02/b23/instances/0001-Maximal_Clique-225-0.asp ./t02/b23/instances/0020-Maximal_Clique-325-0.asp ./t02/b10/instances/0024-crossing_minimization-8-0.asp ./t02/b10/instances/0038-crossing_minimization-9-0.asp ./t02/b10/instances/0001-crossing_minimization-9-0.asp ./t02/b10/instances/0078-crossing_minimization-9-0.asp ./t02/b10/instances/0055-crossing_minimization-8-0.asp ./t02/b10/instances/0074-crossing_minimization-8-0.asp ./t02/b10/instances/0028-crossing_minimization-8-0.asp ./t02/b10/instances/0034-crossing_minimization-9-0.asp ./t02/b10/instances/0044-crossing_minimization-10-0.asp ./t02/b10/instances/0052-crossing_minimization-8-0.asp ./t02/b10/instances/0050-crossing_minimization-10-0.asp ./t02/b10/instances/0031-crossing_minimization-8-0.asp ./t02/b10/instances/0012-crossing_minimization-8-0.asp ./t02/b10/instances/0022-crossing_minimization-8-0.asp ./t02/b10/instances/0061-crossing_minimization-8-0.asp ./t02/b10/instances/0056-crossing_minimization-8-0.asp ./t02/b10/instances/0068-crossing_minimization-9-0.asp ./t02/b10/instances/0080-crossing_minimization-8-0.asp ./t02/b10/instances/0005-crossing_minimization-9-0.asp ./t02/b10/instances/0010-crossing_minimization-9-0.asp ./t02/b10/instances/0060-crossing_minimization-8-0.asp ./t02/b10/instances/0014-crossing_minimization-10-0.asp ./t02/b10/instances/0042-crossing_minimization-8-0.asp ./t02/b10/instances/0040-crossing_minimization-9-0.asp ./t02/b10/instances/0003-crossing_minimization-9-0.asp ./t02/b10/instances/0019-crossing_minimization-10-0.asp ./t02/b10/instances/0081-crossing_minimization-9-0.asp ./t02/b10/instances/0070-crossing_minimization-9-0.asp ./t02/b10/instances/0065-crossing_minimization-9-0.asp ./t02/b10/instances/0016-crossing_minimization-10-0.asp ./t02/b01/instances/0035-ppm-250-0.asp ./t02/b01/instances/0162-ppm-120-0.asp ./t02/b01/instances/0082-ppm-20-0.asp ./t02/b01/instances/0155-ppm-120-0.asp ./t02/b01/instances/0135-ppm-90-0.asp ./t02/b01/instances/0090-ppm-50-0.asp ./t02/b01/instances/0123-ppm-120-0.asp ./t02/b01/instances/0023-ppm-200-0.asp ./t02/b01/instances/0075-ppm-50-0.asp ./t02/b01/instances/0190-ppm-140-0.asp ./t02/b01/instances/0117-ppm-70-0.asp ./t02/b01/instances/0183-ppm-120-0.asp ./t02/b01/instances/0015-ppm-350-0.asp ./t02/b01/instances/0054-ppm-250-0.asp ./t02/b01/instances/0041-ppm-350-0.asp ./t02/b01/instances/0130-ppm-90-0.asp ./t02/b01/instances/0102-ppm-20-0.asp ./t02/b01/instances/0107-ppm-50-0.asp ./t02/b01/instances/0194-ppm-120-0.asp ./t02/b01/instances/0061-ppm-70-0.asp ./t02/b01/instances/0009-ppm-200-0.asp ./t02/b01/instances/0069-ppm-70-0.asp ./t02/b01/instances/0176-ppm-120-0.asp ./t02/b01/instances/0003-ppm-250-0.asp ./t02/b01/instances/0096-ppm-50-0.asp ./t02/b01/instances/0048-ppm-350-0.asp ./t02/b01/instances/0030-ppm-350-0.asp ./t02/b01/instances/0168-ppm-90-0.asp ./t02/b01/instances/0143-ppm-90-0.asp ./t02/b01/instances/0147-ppm-140-0.asp ./t02/b18/instances/0001-chemclass-0-1.asp ./t02/b18/instances/0024-chemclass-0-1.asp ./t02/b18/instances/0012-chemclass-0-1.asp ./t02/b18/instances/0033-chemclass-0-1.asp ./t02/b18/instances/0003-chemclass-0-1.asp ./t02/b18/instances/0036-chemclass-0-1.asp ./t02/b18/instances/0048-chemclass-0-1.asp ./t02/b18/instances/0020-chemclass-0-1.asp ./t02/b18/instances/0010-chemclass-0-1.asp ./t02/b18/instances/0030-chemclass-0-1.asp ./t02/b18/instances/0025-chemclass-0-1.asp ./t02/b18/instances/0014-chemclass-0-1.asp ./t02/b18/instances/0023-chemclass-0-1.asp ./t02/b18/instances/0018-chemclass-0-1.asp ./t02/b18/instances/0046-chemclass-0-1.asp ./t02/b18/instances/0041-chemclass-0-1.asp ./t02/b18/instances/0006-chemclass-0-1.asp ./t02/b18/instances/0017-chemclass-0-1.asp ./t02/b18/instances/0011-chemclass-0-1.asp ./t02/b18/instances/0037-chemclass-0-1.asp ./t02/b18/instances/0040-chemclass-0-1.asp ./t02/b18/instances/0038-chemclass-0-1.asp ./t02/b18/instances/0044-chemclass-0-1.asp ./t02/b18/instances/0031-chemclass-0-1.asp ./t02/b18/instances/0002-chemclass-0-1.asp ./t02/b18/instances/0008-chemclass-0-1.asp ./t02/b18/instances/0009-chemclass-0-1.asp ./t02/b18/instances/0049-chemclass-0-1.asp ./t02/b18/instances/0026-chemclass-0-1.asp ./t02/b18/instances/0034-chemclass-0-1.asp ./t02/b24/instances/0011-labyrinth-12-0.asp ./t02/b24/instances/0059-labyrinth-13-0.asp ./t02/b24/instances/0165-labyrinth-13-0.asp ./t02/b24/instances/0233-labyrinth-22-0.asp ./t02/b24/instances/0216-labyrinth-21-0.asp ./t02/b24/instances/0132-labyrinth-12-0.asp ./t02/b24/instances/0198-labyrinth-19-0.asp ./t02/b24/instances/0159-labyrinth-20-0.asp ./t02/b24/instances/0100-labyrinth-17-0.asp ./t02/b24/instances/0206-labyrinth-20-0.asp ./t02/b24/instances/0143-labyrinth-14-0.asp ./t02/b24/instances/0117-labyrinth-23-0.asp ./t02/b24/instances/0125-labyrinth-23-0.asp ./t02/b24/instances/0036-labyrinth-17-0.asp ./t02/b24/instances/0075-labyrinth-13-0.asp ./t02/b24/instances/0238-labyrinth-22-0.asp ./t02/b24/instances/0003-labyrinth-11-0.asp ./t02/b24/instances/0028-labyrinth-12-0.asp ./t02/b24/instances/0175-labyrinth-15-0.asp ./t02/b24/instances/0084-labyrinth-17-0.asp ./t02/b24/instances/0110-labyrinth-16-0.asp ./t02/b24/instances/0043-labyrinth-13-0.asp ./t02/b24/instances/0018-labyrinth-11-0.asp ./t02/b24/instances/0092-labyrinth-17-0.asp ./t02/b24/instances/0190-labyrinth-18-0.asp ./t02/b24/instances/0067-labyrinth-18-0.asp ./t02/b24/instances/0225-labyrinth-21-0.asp ./t02/b24/instances/0181-labyrinth-17-0.asp ./t02/b24/instances/0150-labyrinth-16-0.asp ./t02/b24/instances/0051-labyrinth-12-0.asp ./t02/b11/instances/0002-reachability-0-0.asp ./t02/b11/instances/0030-reachability-0-0.asp ./t02/b11/instances/0031-reachability-0-0.asp ./t02/b11/instances/0037-reachability-0-0.asp ./t02/b11/instances/0003-reachability-0-0.asp ./t02/b11/instances/0015-reachability-0-0.asp ./t02/b11/instances/0017-reachability-0-0.asp ./t02/b11/instances/0044-reachability-0-0.asp ./t02/b11/instances/0035-reachability-0-0.asp ./t02/b11/instances/0007-reachability-0-0.asp ./t02/b11/instances/0010-reachability-0-0.asp ./t02/b11/instances/0048-reachability-0-0.asp ./t02/b11/instances/0020-reachability-0-0.asp ./t02/b11/instances/0011-reachability-0-0.asp ./t02/b11/instances/0024-reachability-0-0.asp ./t02/b11/instances/0055-reachability-0-0.asp ./t02/b11/instances/0046-reachability-0-0.asp ./t02/b11/instances/0021-reachability-0-0.asp ./t02/b11/instances/0029-reachability-0-0.asp ./t02/b11/instances/0049-reachability-0-0.asp ./t02/b11/instances/0001-reachability-0-0.asp ./t02/b11/instances/0009-reachability-0-0.asp ./t02/b11/instances/0043-reachability-0-0.asp ./t02/b11/instances/0058-reachability-0-0.asp ./t02/b11/instances/0027-reachability-0-0.asp ./t02/b11/instances/0039-reachability-0-0.asp ./t02/b11/instances/0057-reachability-0-0.asp ./t02/b11/instances/0013-reachability-0-0.asp ./t02/b11/instances/0040-reachability-0-0.asp ./t02/b11/instances/0053-reachability-0-0.asp ./t02/b27/instances/0010-graph_colouring-125-0.asp ./t02/b27/instances/0053-graph_colouring-150-0.asp ./t02/b27/instances/0030-graph_colouring-135-0.asp ./t02/b27/instances/0031-graph_colouring-140-0.asp ./t02/b27/instances/0043-graph_colouring-145-0.asp ./t02/b27/instances/0007-graph_colouring-125-0.asp ./t02/b27/instances/0013-graph_colouring-130-0.asp ./t02/b27/instances/0049-graph_colouring-145-0.asp ./t02/b27/instances/0021-graph_colouring-135-0.asp ./t02/b27/instances/0011-graph_colouring-130-0.asp ./t02/b27/instances/0046-graph_colouring-145-0.asp ./t02/b27/instances/0040-graph_colouring-140-0.asp ./t02/b27/instances/0001-graph_colouring-125-0.asp ./t02/b27/instances/0044-graph_colouring-145-0.asp ./t02/b27/instances/0035-graph_colouring-140-0.asp ./t02/b27/instances/0057-graph_colouring-150-0.asp ./t02/b27/instances/0002-graph_colouring-125-0.asp ./t02/b27/instances/0020-graph_colouring-130-0.asp ./t02/b27/instances/0037-graph_colouring-140-0.asp ./t02/b27/instances/0017-graph_colouring-130-0.asp ./t02/b27/instances/0039-graph_colouring-140-0.asp ./t02/b27/instances/0029-graph_colouring-135-0.asp ./t02/b27/instances/0055-graph_colouring-150-0.asp ./t02/b27/instances/0027-graph_colouring-135-0.asp ./t02/b27/instances/0015-graph_colouring-130-0.asp ./t02/b27/instances/0048-graph_colouring-145-0.asp ./t02/b27/instances/0003-graph_colouring-125-0.asp ./t02/b27/instances/0024-graph_colouring-135-0.asp ./t02/b27/instances/0058-graph_colouring-150-0.asp ./t02/b27/instances/0009-graph_colouring-125-0.asp ./t02/b15/instances/0001-stablemarriage-0-0.asp ./t02/b15/instances/0017-stablemarriage-0-0.asp ./t02/b15/instances/0026-stablemarriage-0-0.asp ./t02/b15/instances/0025-stablemarriage-0-0.asp ./t02/b15/instances/0009-stablemarriage-0-0.asp ./t02/b15/instances/0006-stablemarriage-0-0.asp ./t02/b15/instances/0024-stablemarriage-0-0.asp ./t02/b15/instances/0038-stablemarriage-0-0.asp ./t02/b15/instances/0048-stablemarriage-0-0.asp ./t02/b15/instances/0046-stablemarriage-0-0.asp ./t02/b15/instances/0049-stablemarriage-0-0.asp ./t02/b15/instances/0040-stablemarriage-0-0.asp ./t02/b15/instances/0018-stablemarriage-0-0.asp ./t02/b15/instances/0008-stablemarriage-0-0.asp ./t02/b15/instances/0014-stablemarriage-0-0.asp ./t02/b15/instances/0037-stablemarriage-0-0.asp ./t02/b15/instances/0034-stablemarriage-0-0.asp ./t02/b15/instances/0020-stablemarriage-0-0.asp ./t02/b15/instances/0010-stablemarriage-0-0.asp ./t02/b15/instances/0012-stablemarriage-0-0.asp ./t02/b15/instances/0044-stablemarriage-0-0.asp ./t02/b15/instances/0030-stablemarriage-0-0.asp ./t02/b15/instances/0003-stablemarriage-0-0.asp ./t02/b15/instances/0031-stablemarriage-0-0.asp ./t02/b15/instances/0002-stablemarriage-0-0.asp ./t02/b15/instances/0033-stablemarriage-0-0.asp ./t02/b15/instances/0023-stablemarriage-0-0.asp ./t02/b15/instances/0036-stablemarriage-0-0.asp ./t02/b15/instances/0041-stablemarriage-0-0.asp ./t02/b15/instances/0011-stablemarriage-0-0.asp ./t02/b06/instances/0048-24-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0073-37-bottle_filling_sat-0-0.asp ./t02/b06/instances/0027-14-bottle_filling_sat-0-0.asp ./t02/b06/instances/0059-30-bottle_filling_sat-0-0.asp ./t02/b06/instances/0092-46-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0088-44-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0062-31-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0030-15-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0095-48-bottle_filling_sat-0-0.asp ./t02/b06/instances/0083-42-bottle_filling_sat-0-0.asp ./t02/b06/instances/0005-03-bottle_filling_sat-0-0.asp ./t02/b06/instances/0034-17-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0020-10-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0012-06-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0017-09-bottle_filling_sat-0-0.asp ./t02/b06/instances/0015-08-bottle_filling_sat-0-0.asp ./t02/b06/instances/0041-21-bottle_filling_sat-0-0.asp ./t02/b06/instances/0077-39-bottle_filling_sat-0-0.asp ./t02/b06/instances/0081-41-bottle_filling_sat-0-0.asp ./t02/b06/instances/0067-34-bottle_filling_sat-0-0.asp ./t02/b06/instances/0007-04-bottle_filling_sat-0-0.asp ./t02/b06/instances/0066-33-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0045-23-bottle_filling_sat-0-0.asp ./t02/b06/instances/0096-48-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0002-01-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0024-12-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0072-36-bottle_filling_unsat-0-0.asp ./t02/b06/instances/0053-27-bottle_filling_sat-0-0.asp ./t02/b06/instances/0037-19-bottle_filling_sat-0-0.asp ./t02/b06/instances/0051-26-bottle_filling_sat-0-0.asp ./t02/b16/instances/0223-incremental_scheduling-27000-0.asp ./t02/b16/instances/0006-incremental_scheduling-12000-0.asp ./t02/b16/instances/0088-incremental_scheduling-14520-0.asp ./t02/b16/instances/0239-incremental_scheduling-27000-0.asp ./t02/b16/instances/0487-incremental_scheduling-198120-0.asp ./t02/b16/instances/0456-incremental_scheduling-192000-0.asp ./t02/b16/instances/0038-incremental_scheduling-12000-0.asp ./t02/b16/instances/0255-incremental_scheduling-40680-0.asp ./t02/b16/instances/0356-incremental_scheduling-75000-0.asp ./t02/b16/instances/0205-incremental_scheduling-28245-0.asp ./t02/b16/instances/0405-incremental_scheduling-108000-0.asp ./t02/b16/instances/0421-incremental_scheduling-108000-0.asp ./t02/b16/instances/0022-incremental_scheduling-12770-0.asp ./t02/b16/instances/0388-incremental_scheduling-79500-0.asp ./t02/b16/instances/0172-incremental_scheduling-17280-0.asp ./t02/b16/instances/0073-incremental_scheduling-14520-0.asp ./t02/b16/instances/0104-incremental_scheduling-17280-0.asp ./t02/b16/instances/0290-incremental_scheduling-38880-0.asp ./t02/b16/instances/0473-incremental_scheduling-192000-0.asp ./t02/b16/instances/0270-incremental_scheduling-40032-0.asp ./t02/b16/instances/0056-incremental_scheduling-14520-0.asp ./t02/b16/instances/0121-incremental_scheduling-17280-0.asp ./t02/b16/instances/0439-incremental_scheduling-108000-0.asp ./t02/b16/instances/0338-incremental_scheduling-48000-0.asp ./t02/b16/instances/0370-incremental_scheduling-75000-0.asp ./t02/b16/instances/0137-incremental_scheduling-18744-0.asp ./t02/b16/instances/0188-incremental_scheduling-18264-0.asp ./t02/b16/instances/0323-incremental_scheduling-49740-0.asp ./t02/b16/instances/0306-incremental_scheduling-50100-0.asp ./t02/b16/instances/0154-incremental_scheduling-17280-0.asp ./t02/b17/instances/0018-ia_dsj-0-0.asp ./t02/b17/instances/0097-ia_dsj-0-0.asp ./t02/b17/instances/0002-ia_dsj-0-0.asp ./t02/b17/instances/0113-ia_dsj-0-0.asp ./t02/b17/instances/0145-ia_dsj-0-0.asp ./t02/b17/instances/0064-ia_dsj-0-0.asp ./t02/b17/instances/0106-ia_dsj-0-0.asp ./t02/b17/instances/0059-ia_dsj-0-0.asp ./t02/b17/instances/0103-ia_dsj-0-0.asp ./t02/b17/instances/0048-ia_dsj-0-0.asp ./t02/b17/instances/0116-ia_dsj-0-0.asp ./t02/b17/instances/0054-ia_dsj-0-0.asp ./t02/b17/instances/0037-ia_dsj-0-0.asp ./t02/b17/instances/0122-ia_dsj-0-0.asp ./t02/b17/instances/0032-ia_dsj-0-0.asp ./t02/b17/instances/0043-ia_dsj-0-0.asp ./t02/b17/instances/0085-ia_dsj-0-0.asp ./t02/b17/instances/0076-ia_dsj-0-0.asp ./t02/b17/instances/0080-ia_dsj-0-0.asp ./t02/b17/instances/0133-ia_dsj-0-0.asp ./t02/b17/instances/0128-ia_dsj-0-0.asp ./t02/b17/instances/0011-ia_dsj-0-0.asp ./t02/b17/instances/0071-ia_dsj-0-0.asp ./t02/b17/instances/0093-ia_dsj-0-0.asp ./t02/b17/instances/0140-ia_dsj-0-0.asp ./t02/b17/instances/0023-ia_dsj-0-0.asp ./t02/b17/instances/0153-ia_dsj-0-0.asp ./t02/b17/instances/0151-ia_dsj-0-0.asp ./t02/b17/instances/0007-ia_dsj-0-0.asp ./t02/b17/instances/0027-ia_dsj-0-0.asp