./instancesCompilation/qif/binsearch.16.pp.cnf
./instancesCompilation/qif/binsearch.16.cnf
./instancesCompilation/qif/mixdup.cnf
./instancesCompilation/qif/binsearch.32.cnf
./instancesCompilation/qif/binsearch.32.pp.cnf
./instancesCompilation/qif/10random.cnf
./instancesCompilation/qif/sum.32.cnf
./instancesCompilation/Handmade/schur/5_140_sd_schur.cnf
./instancesCompilation/Handmade/schur/5_100_sd_schur.cnf
./instancesCompilation/Handmade/LatinSquare/qg2-08.cnf
./instancesCompilation/Handmade/LatinSquare/qg5-11.cnf
./instancesCompilation/Handmade/LatinSquare/qg3-08.cnf
./instancesCompilation/Handmade/LatinSquare/ls15-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/ls9-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/qg7-09.cnf
./instancesCompilation/Handmade/LatinSquare/ls16-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/ls10-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/ls12-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/qg6-09.cnf
./instancesCompilation/Handmade/LatinSquare/ls13-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/ls11-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/ls8-normalized.cnf
./instancesCompilation/Handmade/LatinSquare/qg4-09.cnf
./instancesCompilation/Handmade/LatinSquare/qg1-08.cnf
./instancesCompilation/Handmade/LatinSquare/qg1-07.cnf
./instancesCompilation/Handmade/LatinSquare/qg2-07.cnf
./instancesCompilation/Handmade/LatinSquare/qg7-13.cnf
./instancesCompilation/Handmade/LatinSquare/ls14-normalized.cnf
./instancesCompilation/Handmade/ramsey/23_rd_r45.cnf
./instancesCompilation/Handmade/ramsey/20_rd_r45.cnf
./instancesCompilation/Handmade/parity/par8-3.cnf
./instancesCompilation/Handmade/parity/par16-2-c.cnf
./instancesCompilation/Handmade/parity/par8-1-c.cnf
./instancesCompilation/Handmade/parity/par16-4-c.cnf
./instancesCompilation/Handmade/parity/par16-2.cnf
./instancesCompilation/Handmade/parity/par16-3-c.cnf
./instancesCompilation/Handmade/parity/par8-2.cnf
./instancesCompilation/Handmade/parity/par8-4-c.cnf
./instancesCompilation/Handmade/parity/par8-2-c.cnf
./instancesCompilation/Handmade/parity/par16-1-c.cnf
./instancesCompilation/Handmade/parity/par8-4.cnf
./instancesCompilation/Handmade/parity/par16-4.cnf
./instancesCompilation/Handmade/parity/par8-5.cnf
./instancesCompilation/Handmade/parity/par8-5-c.cnf
./instancesCompilation/Handmade/parity/par16-1.cnf
./instancesCompilation/Handmade/parity/par16-3.cnf
./instancesCompilation/Handmade/parity/par8-3-c.cnf
./instancesCompilation/Handmade/parity/par16-5-c.cnf
./instancesCompilation/Handmade/parity/par8-1.cnf
./instancesCompilation/Handmade/parity/par16-5.cnf
./instancesCompilation/Handmade/pigeon/fphp-015-020.cnf
./instancesCompilation/Handmade/pigeon/fphp-010-020.cnf
./instancesCompilation/Handmade/ais/ais12.cnf
./instancesCompilation/Handmade/ais/ais10.cnf
./instancesCompilation/Handmade/ais/ais6.cnf
./instancesCompilation/Handmade/ais/ais8.cnf
./instancesCompilation/Handmade/langford/lang12.cnf
./instancesCompilation/Handmade/langford/lang28.cnf
./instancesCompilation/Handmade/langford/lang23.cnf
./instancesCompilation/Handmade/langford/lang20.cnf
./instancesCompilation/Handmade/langford/lang16.cnf
./instancesCompilation/Handmade/langford/lang15.cnf
./instancesCompilation/Handmade/langford/lang24.cnf
./instancesCompilation/Handmade/langford/lang27.cnf
./instancesCompilation/Handmade/langford/lang19.cnf
./instancesCompilation/Planning/bw_large.a.cnf
./instancesCompilation/Planning/log-2.cnf
./instancesCompilation/Planning/prob005.pddl.cnf
./instancesCompilation/Planning/tire-1.cnf
./instancesCompilation/Planning/bw_large.c.cnf
./instancesCompilation/Planning/huge.cnf
./instancesCompilation/Planning/logistics.b.cnf
./instancesCompilation/Planning/logistics.c.cnf
./instancesCompilation/Planning/hanoi5.cnf
./instancesCompilation/Planning/anomaly.cnf
./instancesCompilation/Planning/tire-3.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t20.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d4_g2_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d12_g6_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_10_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_30_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p01_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p04_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p02_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k2_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_6_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/ring_3_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/flip_no_action_1_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r6_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d8_g4_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p04_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t16.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d16_g8_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k1_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t13.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p10_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p05_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_2_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t18.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_3_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/ring_3_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r8_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p05_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/flip_1_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_4_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_7_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/ring_5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_6_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t15.cnf
./instancesCompilation/Planning/pddlXpSym/ring_4_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p01_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p04_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p03_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_3_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k3_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p05_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_3_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_2_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t1_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_2_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d20_g10_corners_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p10_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_7_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r6_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p01_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_7_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d16_g8_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p03_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring_3_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/flip_1_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p10_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p02_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_30_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_3_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring_4_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_2_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/flip_no_action_1_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t11.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k4_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p02_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p01_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d16_g8_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d16_g8_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b20_t5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d24_g12_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_4_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p05_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_4_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p02_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_3_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/flip_1_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_6_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p05_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k1_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k1_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_3_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t1_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d12_g6_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring_5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t17.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p05_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_6_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p01_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/flip_no_action_1_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b20_t5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p10_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k2_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_2_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p01_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/ring_5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_4_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t14.cnf
./instancesCompilation/Planning/pddlXpSym/ring_4_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p05_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p10_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k10_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t19.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d28_g14_corners_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_30_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b20_t5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p10_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k10_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d28_g14_corners_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p03_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k3_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_10_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_2_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d12_g6_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_3_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring_4_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d24_g12_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p04_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t1_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r8_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k10_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d24_g12_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d28_g14_corners_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k1_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k4_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p03_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d28_g14_corners_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_7_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p02_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p10_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_4_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_10_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d8_g4_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p02_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d8_g4_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r6_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/ring_3_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_10_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d20_g10_corners_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r8_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d4_g2_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k2_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d20_g10_corners_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p03_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k3_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_4_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p10_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p04_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t12.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p02_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d8_g4_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t10_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k3_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_6_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_4_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d4_g2_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b20_t5_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/flip_1_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_2_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k10_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d4_g2_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k2_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/ring_5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p04_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_3_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_6_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d20_g10_corners_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p04_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_6_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p01_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k5_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_4_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d24_g12_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_2_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/flip_no_action_1_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p03_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b10_t5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k4_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/coins_p03_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/uts_k4_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p02_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r6_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p04_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/emptyroom_d12_g6_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p03_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_5_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p05_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/safe_safe_30_p_t5.cnf
./instancesCompilation/Planning/pddlXpSym/ring2_r8_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/bomb_b5_t1_p_t8.cnf
./instancesCompilation/Planning/pddlXpSym/blocks_right_5_p_t6.cnf
./instancesCompilation/Planning/pddlXpSym/sort_num_s_6_p_t10.cnf
./instancesCompilation/Planning/pddlXpSym/comm_p01_p_t5.cnf
./instancesCompilation/Planning/4blocksb.cnf
./instancesCompilation/Planning/logistics.a.cnf
./instancesCompilation/Planning/medium.cnf
./instancesCompilation/Planning/prob012.pddl.cnf
./instancesCompilation/Planning/prob004.pddl.cnf
./instancesCompilation/Planning/4blocks.cnf
./instancesCompilation/Planning/4step.cnf
./instancesCompilation/Planning/tire-2.cnf
./instancesCompilation/Planning/3blocks.cnf
./instancesCompilation/Planning/prob003.pddl.cnf
./instancesCompilation/Planning/bw_large.d.cnf
./instancesCompilation/Planning/hanoi4.cnf
./instancesCompilation/Planning/prob001.pddl.cnf
./instancesCompilation/Planning/5step.cnf
./instancesCompilation/Planning/log-4.cnf
./instancesCompilation/Planning/bw_large.b.cnf
./instancesCompilation/Planning/log-5.cnf
./instancesCompilation/Planning/logistics.d.cnf
./instancesCompilation/Planning/log-1.cnf
./instancesCompilation/Planning/log-3.cnf
./instancesCompilation/Planning/prob002.pddl.cnf
./instancesCompilation/Planning/tire-4.cnf
./instancesCompilation/Planning/prob004-log-a.cnf
./instancesCompilation/circuit/2bitmax_6.cnf
./instancesCompilation/circuit/ssa/ssa7552-160.cnf
./instancesCompilation/circuit/ssa/ssa7552-159.cnf
./instancesCompilation/circuit/ssa/ssa7552-158.cnf
./instancesCompilation/circuit/ssa/ssa7552-038.cnf
./instancesCompilation/circuit/alu2_gr_rcs_w8.shuffled.cnf
./instancesCompilation/circuit/bit/2bitmax_6.cnf
./instancesCompilation/circuit/bit/2bitcomp_5.cnf
./instancesCompilation/circuit/bit/2bitadd_11.cnf
./instancesCompilation/circuit/bit/3bitadd_31.cnf
./instancesCompilation/circuit/bit/3bitadd_32.cnf
./instancesCompilation/circuit/bit/2bitadd_12.cnf
./instancesCompilation/circuit/rInst/rb.cnf
./instancesCompilation/circuit/rInst/rc.cnf
./instancesCompilation/circuit/rInst/ra.cnf
./instancesCompilation/circuit/c880_gr_rcs_w7.shuffled.cnf
./instancesCompilation/circuit/3bitadd_32.cnf
./instancesCompilation/circuit/iscas/iscas85/c880.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c499.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c2670.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c432.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c7552.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c1908.isc.cnf
./instancesCompilation/circuit/iscas/iscas85/c1355.isc.cnf
./instancesCompilation/circuit/iscas/iscas89/s953.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s820.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s838.1.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s1488.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s1494.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s1196.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s510.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s526.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s713.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s526n.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s832.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s444.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s400.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s641.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s420.1.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s1423.bench.cnf
./instancesCompilation/circuit/iscas/iscas89/s1238.bench.cnf
./instancesCompilation/Configuration/mercedes/C169_FW.cnf
./instancesCompilation/Configuration/mercedes/C210_FW.cnf
./instancesCompilation/Configuration/mercedes/D1119_M20.cnf
./instancesCompilation/Configuration/mercedes/C169_FV.cnf
./instancesCompilation/Configuration/mercedes/C170_FR.cnf
./instancesCompilation/Configuration/mercedes/C220_FV.cnf
./instancesCompilation/Configuration/mercedes/C638_FVK.cnf
./instancesCompilation/Configuration/mercedes/C163_FW.cnf
./instancesCompilation/Configuration/mercedes/C171_FR.cnf
./instancesCompilation/Configuration/mercedes/C129_FR.cnf
./instancesCompilation/Configuration/mercedes/C203_FW.cnf
./instancesCompilation/Configuration/mercedes/C215_FC.cnf
./instancesCompilation/Configuration/mercedes/C211_FW.cnf
./instancesCompilation/Configuration/mercedes/C209_FC.cnf
./instancesCompilation/Configuration/mercedes/C638_FKA.cnf
./instancesCompilation/Configuration/mercedes/C230_FR.cnf
./instancesCompilation/Configuration/mercedes/C168_FW.cnf
./instancesCompilation/Configuration/mercedes/C203_FS.cnf
./instancesCompilation/Configuration/mercedes/C140_FV.cnf
./instancesCompilation/Configuration/mercedes/C210_FS.cnf
./instancesCompilation/Configuration/mercedes/C210_FVF.cnf
./instancesCompilation/Configuration/mercedes/C202_FS.cnf
./instancesCompilation/Configuration/mercedes/C208_FA.cnf
./instancesCompilation/Configuration/mercedes/C202_FW.cnf
./instancesCompilation/Configuration/mercedes/C638_FKB.cnf
./instancesCompilation/Configuration/mercedes/D1119_M23.cnf
./instancesCompilation/Configuration/mercedes/C203_FCL.cnf
./instancesCompilation/Configuration/mercedes/C140_FC.cnf
./instancesCompilation/Configuration/mercedes/C250_FW.cnf
./instancesCompilation/Configuration/mercedes/C208_FC.cnf
./instancesCompilation/Configuration/mercedes/C209_FA.cnf
./instancesCompilation/Configuration/mercedes/C220_FW.cnf
./instancesCompilation/Configuration/mercedes/C140_FW.cnf
./instancesCompilation/Configuration/mercedes/C250_FV.cnf
./instancesCompilation/Configuration/mercedes/C211_FS.cnf
./instancesCompilation/random/wff.3.150.525.cnf
./instancesCompilation/random/wff.3.100.150.cnf
./instancesCompilation/random/wff.4.100.500.cnf
./instancesCompilation/random/uf250-1065/uf250-024.cnf
./instancesCompilation/random/uf250-1065/uf250-026.cnf
./instancesCompilation/random/uf250-1065/uf250-095.cnf
./instancesCompilation/random/uf250-1065/uf250-075.cnf
./instancesCompilation/random/uf250-1065/uf250-051.cnf
./instancesCompilation/random/uf250-1065/uf250-015.cnf
./instancesCompilation/random/uf250-1065/uf250-014.cnf
./instancesCompilation/random/uf250-1065/uf250-062.cnf
./instancesCompilation/random/uf250-1065/uf250-09.cnf
./instancesCompilation/random/uf250-1065/uf250-060.cnf
./instancesCompilation/random/uf250-1065/uf250-038.cnf
./instancesCompilation/random/uf250-1065/uf250-017.cnf
./instancesCompilation/random/uf250-1065/uf250-081.cnf
./instancesCompilation/random/uf250-1065/uf250-094.cnf
./instancesCompilation/random/uf250-1065/uf250-030.cnf
./instancesCompilation/random/uf250-1065/uf250-039.cnf
./instancesCompilation/random/uf250-1065/uf250-055.cnf
./instancesCompilation/random/uf250-1065/uf250-078.cnf
./instancesCompilation/random/uf250-1065/uf250-090.cnf
./instancesCompilation/random/uf250-1065/uf250-058.cnf
./instancesCompilation/random/uf250-1065/uf250-054.cnf
./instancesCompilation/random/uf250-1065/uf250-08.cnf
./instancesCompilation/random/uf250-1065/uf250-070.cnf
./instancesCompilation/random/uf250-1065/uf250-041.cnf
./instancesCompilation/random/uf250-1065/uf250-043.cnf
./instancesCompilation/random/uf250-1065/uf250-037.cnf
./instancesCompilation/random/uf250-1065/uf250-076.cnf
./instancesCompilation/random/uf250-1065/uf250-098.cnf
./instancesCompilation/random/uf250-1065/uf250-02.cnf
./instancesCompilation/random/uf250-1065/uf250-057.cnf
./instancesCompilation/random/uf250-1065/uf250-0100.cnf
./instancesCompilation/random/uf250-1065/uf250-091.cnf
./instancesCompilation/random/uf250-1065/uf250-01.cnf
./instancesCompilation/random/uf250-1065/uf250-036.cnf
./instancesCompilation/random/uf250-1065/uf250-096.cnf
./instancesCompilation/random/uf250-1065/uf250-071.cnf
./instancesCompilation/random/uf250-1065/uf250-082.cnf
./instancesCompilation/random/uf250-1065/uf250-053.cnf
./instancesCompilation/random/uf250-1065/uf250-020.cnf
./instancesCompilation/random/uf250-1065/uf250-084.cnf
./instancesCompilation/random/uf250-1065/uf250-012.cnf
./instancesCompilation/random/uf250-1065/uf250-042.cnf
./instancesCompilation/random/uf250-1065/uf250-046.cnf
./instancesCompilation/random/uf250-1065/uf250-027.cnf
./instancesCompilation/random/uf250-1065/uf250-068.cnf
./instancesCompilation/random/uf250-1065/uf250-089.cnf
./instancesCompilation/random/uf250-1065/uf250-045.cnf
./instancesCompilation/random/uf250-1065/uf250-074.cnf
./instancesCompilation/random/uf250-1065/uf250-066.cnf
./instancesCompilation/random/uf250-1065/uf250-052.cnf
./instancesCompilation/random/uf250-1065/uf250-010.cnf
./instancesCompilation/random/uf250-1065/uf250-087.cnf
./instancesCompilation/random/uf250-1065/uf250-093.cnf
./instancesCompilation/random/uf250-1065/uf250-011.cnf
./instancesCompilation/random/uf250-1065/uf250-031.cnf
./instancesCompilation/random/uf250-1065/uf250-063.cnf
./instancesCompilation/random/uf250-1065/uf250-03.cnf
./instancesCompilation/random/uf250-1065/uf250-067.cnf
./instancesCompilation/random/uf250-1065/uf250-05.cnf
./instancesCompilation/random/uf250-1065/uf250-099.cnf
./instancesCompilation/random/uf250-1065/uf250-035.cnf
./instancesCompilation/random/uf250-1065/uf250-013.cnf
./instancesCompilation/random/uf250-1065/uf250-064.cnf
./instancesCompilation/random/uf250-1065/uf250-056.cnf
./instancesCompilation/random/uf250-1065/uf250-028.cnf
./instancesCompilation/random/uf250-1065/uf250-083.cnf
./instancesCompilation/random/uf250-1065/uf250-034.cnf
./instancesCompilation/random/uf250-1065/uf250-029.cnf
./instancesCompilation/random/uf250-1065/uf250-033.cnf
./instancesCompilation/random/uf250-1065/uf250-07.cnf
./instancesCompilation/random/uf250-1065/uf250-061.cnf
./instancesCompilation/random/uf250-1065/uf250-016.cnf
./instancesCompilation/random/uf250-1065/uf250-097.cnf
./instancesCompilation/random/uf250-1065/uf250-077.cnf
./instancesCompilation/random/uf250-1065/uf250-032.cnf
./instancesCompilation/random/uf250-1065/uf250-025.cnf
./instancesCompilation/random/uf250-1065/uf250-065.cnf
./instancesCompilation/random/uf250-1065/uf250-050.cnf
./instancesCompilation/random/uf250-1065/uf250-048.cnf
./instancesCompilation/random/uf250-1065/uf250-085.cnf
./instancesCompilation/random/uf250-1065/uf250-044.cnf
./instancesCompilation/random/uf250-1065/uf250-022.cnf
./instancesCompilation/random/uf250-1065/uf250-059.cnf
./instancesCompilation/random/uf250-1065/uf250-088.cnf
./instancesCompilation/random/uf250-1065/uf250-072.cnf
./instancesCompilation/random/uf250-1065/uf250-049.cnf
./instancesCompilation/random/uf250-1065/uf250-040.cnf
./instancesCompilation/random/uf250-1065/uf250-086.cnf
./instancesCompilation/random/uf250-1065/uf250-06.cnf
./instancesCompilation/random/uf250-1065/uf250-092.cnf
./instancesCompilation/random/uf250-1065/uf250-080.cnf
./instancesCompilation/random/uf250-1065/uf250-079.cnf
./instancesCompilation/random/uf250-1065/uf250-047.cnf
./instancesCompilation/random/uf250-1065/uf250-021.cnf
./instancesCompilation/random/uf250-1065/uf250-018.cnf
./instancesCompilation/random/uf250-1065/uf250-073.cnf
./instancesCompilation/random/uf250-1065/uf250-019.cnf
./instancesCompilation/random/uf250-1065/uf250-069.cnf
./instancesCompilation/random/uf250-1065/uf250-04.cnf
./instancesCompilation/random/uf250-1065/uf250-023.cnf
./instancesCompilation/random/wff.3.75.315.cnf
./instancesCompilation/bmc/bmc-ibm-7.cnf
./instancesCompilation/bmc/cnt06.shuffled.cnf
./instancesCompilation/bmc/bmc-ibm-10.cnf
./instancesCompilation/bmc/cnt09.shuffled.cnf
./instancesCompilation/bmc/bmc-ibm-11.cnf
./instancesCompilation/bmc/bmc-ibm-1.cnf
./instancesCompilation/bmc/bmc-galileo-9.cnf
./instancesCompilation/bmc/bmc-ibm-13.cnf
./instancesCompilation/bmc/bmc-ibm-2.cnf
./instancesCompilation/bmc/bmc-ibm-12.cnf
./instancesCompilation/bmc/bmc-ibm-3.cnf
./instancesCompilation/bmc/bmc-ibm-4.cnf
./instancesCompilation/bmc/bmc-ibm-6.cnf
./instancesCompilation/bmc/bmc-ibm-5.cnf
./instancesCompilation/bmc/cnt07.shuffled.cnf
./instancesCompilation/bmc/bmc-galileo-8.cnf
./instancesCompilation/bmc/cnt10.shuffled.cnf
./instancesCompilation/bmc/cnt08.shuffled.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_10_02.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_05_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_15_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-13.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_22_01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_22_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_06_08_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-07.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_04_08_04.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_15_02.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_05_08_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_20_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-29.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_05_02.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_10_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_10_01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_03_08_04.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_20_01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-10.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-22.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_15_01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_05_01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_20_02.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-01.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-16.net.cnf
./instancesCompilation/BayesianNetwork/Ace/blockmap_22_02.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-19.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_10_08_03.net.cnf
./instancesCompilation/BayesianNetwork/Ace/mastermind_03_08_05.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-25.net.cnf
./instancesCompilation/BayesianNetwork/Ace/fs-28.net.cnf
./instancesCompilation/BayesianNetwork/sat-grid-pbl-0010.cnf
./instancesCompilation/BayesianNetwork/sat-grid-pbl-0025.cnf
./instancesCompilation/BayesianNetwork/sat-grid-pbl-0015.cnf
./instancesCompilation/BayesianNetwork/sat-grid-pbl-0020.cnf
./instancesCompilation/BayesianNetwork/sat-grid-pbl-0030.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-22-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-14-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-17-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-24-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-19-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-15-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-23-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-18-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-26-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-20-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-25-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-12-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-16-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_75/75-10-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-10-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-30-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-22-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-16-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-17-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-14-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-38-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-46-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-25-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-18-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-24-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-34-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-21-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-20-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-50-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_90/90-42-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-18-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-10-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-20-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-12-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-14-9-q.cnf
./instancesCompilation/BayesianNetwork/Ratio_50/50-16-9-q.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-5-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-10-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-50/or-50-20-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-10-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-5-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-60/or-60-20-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-10-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-5-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-100/or-100-20-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-6-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-10-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-1-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-9-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-7-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-8-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-5-4-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-3-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-5-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-10-2-UC-10.cnf
./instancesCompilation/BayesianNetwork/DQMR/qmr-70/or-70-20-9-UC-10.cnf