| blocksworld_from_13_1_5_to_8_4_7_negated_goal_bmc_0.smt2 |
| blocksworld_from_7_3_1_to_5_6_0_negated_goal_bmc_13.smt2 |
| blocksworld_from_18_0_3_to_4_13_4_negated_goal_bmc_3.smt2 |
| blocksworld_from_17_2_3_to_8_7_7_negated_goal_bmc_13.smt2 |
| blocksworld_from_13_2_4_to_13_3_3_negated_goal_bmc_6.smt2 |
| blocksworld_from_14_0_3_to_12_4_1_negated_goal_bmc_8.smt2 |
| blocksworld_from_2_1_3_to_6_0_0_negated_goal_bmc_6.smt2 |
| blocksworld_from_13_1_5_to_8_4_7_negated_goal_bmc_9.smt2 |
| blocksworld_from_3_1_18_to_3_16_3_negated_goal_bmc_26.smt2 |
| blocksworld_from_1_6_3_to_9_0_1_negated_goal_bmc_12.smt2 |
| blocksworld_from_4_10_4_to_15_0_3_negated_goal_bmc_6.smt2 |
| blocksworld_from_14_0_3_to_12_4_1_negated_goal_bmc_7.smt2 |
| blocksworld_from_0_6_0_to_5_0_1_negated_goal_bmc_9.smt2 |
| blocksworld_from_9_7_0_to_9_6_1_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_7_5_to_8_8_1_negated_goal_bmc_32.smt2 |
| blocksworld_from_9_1_7_to_11_1_5_negated_goal_bmc_29.smt2 |
| blocksworld_from_2_4_0_to_0_3_3_negated_goal_bmc_0.smt2 |
| blocksworld_from_22_0_2_to_9_12_3_negated_goal_bmc_30.smt2 |
| blocksworld_from_4_10_4_to_15_0_3_negated_goal_bmc_20.smt2 |
| blocksworld_from_18_5_3_to_18_1_7_negated_goal_bmc_15.smt2 |
| blocksworld_from_12_7_0_to_11_3_5_negated_goal_bmc_14.smt2 |
| blocksworld_from_5_7_12_to_9_3_12_negated_goal_bmc_19.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_23.smt2 |
| blocksworld_from_14_1_0_to_5_1_9_negated_goal_bmc_8.smt2 |
| blocksworld_from_11_0_0_to_6_4_1_negated_goal_bmc_1.smt2 |
| blocksworld_from_21_0_4_to_10_10_5_negated_goal_bmc_9.smt2 |
| blocksworld_from_3_1_20_to_23_0_1_negated_goal_bmc_24.smt2 |
| blocksworld_from_2_0_5_to_2_1_4_negated_goal_bmc_0.smt2 |
| blocksworld_from_10_5_6_to_13_6_2_negated_goal_bmc_9.smt2 |
| blocksworld_from_22_0_4_to_26_0_0_negated_goal_bmc_31.smt2 |
| blocksworld_from_0_1_15_to_13_1_2_negated_goal_bmc_17.smt2 |
| blocksworld_from_1_5_0_to_5_1_0_negated_goal_bmc_5.smt2 |
| blocksworld_from_0_18_1_to_17_2_0_negated_goal_bmc_32.smt2 |
| blocksworld_from_0_24_0_to_2_11_11_negated_goal_bmc_24.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_8.smt2 |
| blocksworld_from_10_4_3_to_1_14_2_negated_goal_bmc_10.smt2 |
| blocksworld_from_1_6_8_to_6_3_6_negated_goal_bmc_19.smt2 |
| blocksworld_from_9_12_5_to_20_1_5_negated_goal_bmc_12.smt2 |
| blocksworld_from_9_7_0_to_9_6_1_negated_goal_bmc_24.smt2 |
| blocksworld_from_16_2_1_to_12_6_1_negated_goal_bmc_29.smt2 |
| blocksworld_from_0_3_6_to_2_0_7_negated_goal_bmc_14.smt2 |
| blocksworld_from_5_10_6_to_18_1_2_negated_goal_bmc_39.smt2 |
| blocksworld_from_13_1_6_to_8_7_5_negated_goal_bmc_34.smt2 |
| blocksworld_from_5_5_0_to_10_0_0_negated_goal_bmc_19.smt2 |
| blocksworld_from_4_2_8_to_7_1_6_negated_goal_bmc_19.smt2 |
| blocksworld_from_1_7_5_to_6_4_3_negated_goal_bmc_17.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_4_19_1_to_0_8_16_negated_goal_bmc_33.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_7.smt2 |
| blocksworld_from_15_2_6_to_18_3_2_negated_goal_bmc_23.smt2 |
| blocksworld_from_0_0_8_to_1_3_4_negated_goal_bmc_2.smt2 |
| blocksworld_from_11_11_3_to_2_0_23_negated_goal_bmc_17.smt2 |
| blocksworld_from_1_24_0_to_9_16_0_negated_goal_bmc_1.smt2 |
| blocksworld_from_17_0_1_to_18_0_0_negated_goal_bmc_21.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_42.smt2 |
| blocksworld_from_1_1_7_to_3_0_6_negated_goal_bmc_3.smt2 |
| blocksworld_from_3_4_6_to_1_9_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_18_5_3_to_18_1_7_negated_goal_bmc_23.smt2 |
| blocksworld_from_3_5_0_to_8_0_0_negated_goal_bmc_6.smt2 |
| blocksworld_from_13_11_1_to_17_3_5_negated_goal_bmc_49.smt2 |
| blocksworld_from_16_2_1_to_12_6_1_negated_goal_bmc_19.smt2 |
| blocksworld_from_9_4_1_to_0_13_1_negated_goal_bmc_11.smt2 |
| blocksworld_from_1_5_5_to_1_1_9_negated_goal_bmc_4.smt2 |
| blocksworld_from_2_2_14_to_14_4_0_negated_goal_bmc_27.smt2 |
| blocksworld_from_12_1_3_to_11_1_4_negated_goal_bmc_20.smt2 |
| blocksworld_from_9_10_3_to_1_0_21_negated_goal_bmc_32.smt2 |
| blocksworld_from_5_5_0_to_10_0_0_negated_goal_bmc_13.smt2 |
| blocksworld_from_0_2_0_to_2_0_0_negated_goal_bmc_3.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_2.smt2 |
| blocksworld_from_22_0_2_to_9_12_3_negated_goal_bmc_0.smt2 |
| blocksworld_from_5_3_8_to_14_1_1_negated_goal_bmc_18.smt2 |
| blocksworld_from_5_3_8_to_14_1_1_negated_goal_bmc_23.smt2 |
| blocksworld_from_6_1_11_to_6_0_12_negated_goal_bmc_22.smt2 |
| blocksworld_from_18_0_2_to_1_5_14_negated_goal_bmc_15.smt2 |
| blocksworld_from_6_20_0_to_1_12_13_negated_goal_bmc_37.smt2 |
| blocksworld_from_16_7_3_to_16_0_10_negated_goal_bmc_18.smt2 |
| blocksworld_from_8_1_2_to_6_2_3_negated_goal_bmc_2.smt2 |
| blocksworld_from_7_4_13_to_4_14_6_negated_goal_bmc_8.smt2 |
| blocksworld_from_5_2_3_to_9_0_1_negated_goal_bmc_2.smt2 |
| blocksworld_from_6_2_14_to_12_6_4_negated_goal_bmc_34.smt2 |
| blocksworld_from_13_3_3_to_3_11_5_negated_goal_bmc_19.smt2 |
| blocksworld_from_2_7_2_to_4_3_4_negated_goal_bmc_18.smt2 |
| blocksworld_from_9_12_5_to_20_1_5_negated_goal_bmc_49.smt2 |
| blocksworld_from_10_5_6_to_13_6_2_negated_goal_bmc_11.smt2 |
| blocksworld_from_14_1_0_to_5_1_9_negated_goal_bmc_24.smt2 |
| blocksworld_from_7_3_12_to_12_0_10_negated_goal_bmc_5.smt2 |
| blocksworld_from_1_4_0_to_4_0_1_negated_goal_bmc_2.smt2 |
| blocksworld_from_2_0_19_to_2_8_11_negated_goal_bmc_24.smt2 |
| blocksworld_from_3_4_1_to_7_0_1_negated_goal_bmc_0.smt2 |
| blocksworld_from_5_0_8_to_7_5_1_negated_goal_bmc_5.smt2 |
| blocksworld_from_6_2_14_to_12_6_4_negated_goal_bmc_28.smt2 |
| blocksworld_from_4_2_8_to_7_1_6_negated_goal_bmc_17.smt2 |
| blocksworld_from_2_0_19_to_2_8_11_negated_goal_bmc_11.smt2 |
| blocksworld_from_2_0_7_to_1_1_7_negated_goal_bmc_12.smt2 |
| blocksworld_from_17_2_1_to_19_1_0_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_7_5_to_8_8_1_negated_goal_bmc_15.smt2 |
| blocksworld_from_5_3_8_to_14_1_1_negated_goal_bmc_30.smt2 |
| blocksworld_from_22_1_2_to_7_15_3_negated_goal_bmc_38.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_35.smt2 |
| blocksworld_from_2_1_11_to_9_3_2_negated_goal_bmc_7.smt2 |
| blocksworld_from_1_21_4_to_17_7_2_negated_goal_bmc_37.smt2 |
| blocksworld_from_7_3_12_to_12_0_10_negated_goal_bmc_7.smt2 |
| blocksworld_from_6_9_0_to_14_0_1_negated_goal_bmc_7.smt2 |
| blocksworld_from_18_0_2_to_1_5_14_negated_goal_bmc_19.smt2 |
| blocksworld_from_21_0_4_to_10_10_5_negated_goal_bmc_32.smt2 |
| blocksworld_from_4_4_3_to_4_3_4_negated_goal_bmc_6.smt2 |
| blocksworld_from_7_2_0_to_7_0_2_negated_goal_bmc_3.smt2 |
| blocksworld_from_8_2_1_to_10_1_0_negated_goal_bmc_11.smt2 |
| blocksworld_from_18_1_7_to_7_17_2_negated_goal_bmc_42.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_33.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_7.smt2 |
| blocksworld_from_4_19_1_to_0_8_16_negated_goal_bmc_6.smt2 |
| blocksworld_from_4_3_0_to_5_1_1_negated_goal_bmc_3.smt2 |
| blocksworld_from_0_1_3_to_1_1_2_negated_goal_bmc_0.smt2 |
| blocksworld_from_5_10_6_to_18_1_2_negated_goal_bmc_27.smt2 |
| blocksworld_from_4_4_3_to_4_3_4_negated_goal_bmc_20.smt2 |
| blocksworld_from_7_3_12_to_12_0_10_negated_goal_bmc_9.smt2 |
| blocksworld_from_22_0_2_to_9_12_3_negated_goal_bmc_18.smt2 |
| blocksworld_from_2_6_2_to_3_4_3_negated_goal_bmc_7.smt2 |
| blocksworld_from_13_3_3_to_3_11_5_negated_goal_bmc_26.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_7.smt2 |
| blocksworld_from_20_0_1_to_1_2_18_negated_goal_bmc_19.smt2 |
| blocksworld_from_5_2_5_to_10_1_1_negated_goal_bmc_13.smt2 |
| blocksworld_from_9_4_1_to_0_13_1_negated_goal_bmc_1.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_26.smt2 |
| blocksworld_from_0_18_5_to_17_0_6_negated_goal_bmc_45.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_9_3_to_13_1_3_negated_goal_bmc_8.smt2 |
| blocksworld_from_6_1_11_to_6_0_12_negated_goal_bmc_10.smt2 |
| blocksworld_from_8_6_1_to_8_1_6_negated_goal_bmc_5.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_25.smt2 |
| blocksworld_from_3_4_6_to_1_9_3_negated_goal_bmc_19.smt2 |
| blocksworld_from_6_0_2_to_2_5_1_negated_goal_bmc_2.smt2 |
| blocksworld_from_5_7_12_to_9_3_12_negated_goal_bmc_3.smt2 |
| blocksworld_from_0_7_3_to_8_1_1_negated_goal_bmc_9.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_23.smt2 |
| blocksworld_from_20_2_0_to_13_2_7_negated_goal_bmc_40.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_15.smt2 |
| blocksworld_from_1_5_5_to_1_1_9_negated_goal_bmc_20.smt2 |
| blocksworld_from_2_0_19_to_2_8_11_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_1_10_to_4_9_3_negated_goal_bmc_24.smt2 |
| blocksworld_from_12_1_0_to_11_1_1_negated_goal_bmc_13.smt2 |
| blocksworld_from_2_5_13_to_12_7_1_negated_goal_bmc_20.smt2 |
| blocksworld_from_17_2_3_to_8_7_7_negated_goal_bmc_14.smt2 |
| blocksworld_from_17_2_1_to_19_1_0_negated_goal_bmc_39.smt2 |
| blocksworld_from_5_1_2_to_3_3_2_negated_goal_bmc_12.smt2 |
| blocksworld_from_22_0_2_to_9_12_3_negated_goal_bmc_7.smt2 |
| blocksworld_from_12_0_7_to_18_0_1_negated_goal_bmc_5.smt2 |
| blocksworld_from_2_0_19_to_2_8_11_negated_goal_bmc_12.smt2 |
| blocksworld_from_17_0_1_to_1_10_7_negated_goal_bmc_23.smt2 |
| blocksworld_from_7_5_0_to_1_8_3_negated_goal_bmc_17.smt2 |
| blocksworld_from_7_3_1_to_5_6_0_negated_goal_bmc_14.smt2 |
| blocksworld_from_18_1_7_to_7_17_2_negated_goal_bmc_35.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_16.smt2 |
| blocksworld_from_5_9_3_to_13_1_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_5_6_3_to_4_3_7_negated_goal_bmc_18.smt2 |
| blocksworld_from_1_1_7_to_3_0_6_negated_goal_bmc_6.smt2 |
| blocksworld_from_14_1_0_to_5_1_9_negated_goal_bmc_0.smt2 |
| blocksworld_from_0_0_21_to_10_8_3_negated_goal_bmc_40.smt2 |
| blocksworld_from_1_21_4_to_17_7_2_negated_goal_bmc_10.smt2 |
| blocksworld_from_12_0_3_to_8_3_4_negated_goal_bmc_15.smt2 |
| blocksworld_from_5_0_0_to_5_0_0_negated_goal_bmc_8.smt2 |
| blocksworld_from_1_9_5_to_13_2_0_negated_goal_bmc_16.smt2 |
| blocksworld_from_23_1_0_to_8_9_7_negated_goal_bmc_1.smt2 |
| blocksworld_from_4_1_4_to_1_0_8_negated_goal_bmc_11.smt2 |
| blocksworld_from_0_1_19_to_6_3_11_negated_goal_bmc_28.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_18.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_26.smt2 |
| blocksworld_from_8_2_1_to_10_1_0_negated_goal_bmc_8.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_36.smt2 |
| blocksworld_from_6_20_0_to_1_12_13_negated_goal_bmc_41.smt2 |
| blocksworld_from_13_1_6_to_8_7_5_negated_goal_bmc_26.smt2 |
| blocksworld_from_0_4_7_to_4_4_3_negated_goal_bmc_13.smt2 |
| blocksworld_from_3_1_12_to_15_0_1_negated_goal_bmc_28.smt2 |
| blocksworld_from_25_0_0_to_9_6_10_negated_goal_bmc_20.smt2 |
| blocksworld_from_6_1_11_to_6_0_12_negated_goal_bmc_27.smt2 |
| blocksworld_from_12_1_1_to_5_7_2_negated_goal_bmc_3.smt2 |
| blocksworld_from_3_4_6_to_1_9_3_negated_goal_bmc_16.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_2.smt2 |
| blocksworld_from_6_1_0_to_7_0_0_negated_goal_bmc_2.smt2 |
| blocksworld_from_2_5_13_to_12_7_1_negated_goal_bmc_26.smt2 |
| blocksworld_from_9_1_7_to_11_1_5_negated_goal_bmc_18.smt2 |
| blocksworld_from_5_7_12_to_9_3_12_negated_goal_bmc_1.smt2 |
| blocksworld_from_22_1_2_to_7_15_3_negated_goal_bmc_28.smt2 |
| blocksworld_from_5_0_1_to_1_1_4_negated_goal_bmc_6.smt2 |
| blocksworld_from_2_0_11_to_11_1_1_negated_goal_bmc_3.smt2 |
| blocksworld_from_1_14_5_to_17_3_0_negated_goal_bmc_21.smt2 |
| blocksworld_from_2_1_11_to_9_3_2_negated_goal_bmc_19.smt2 |
| blocksworld_from_10_5_6_to_13_6_2_negated_goal_bmc_20.smt2 |
| blocksworld_from_9_4_1_to_12_0_2_negated_goal_bmc_13.smt2 |
| blocksworld_from_24_1_0_to_20_2_3_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_1_10_to_4_9_3_negated_goal_bmc_8.smt2 |
| blocksworld_from_0_1_19_to_6_3_11_negated_goal_bmc_29.smt2 |
| blocksworld_from_9_9_2_to_12_5_3_negated_goal_bmc_6.smt2 |
| blocksworld_from_11_5_0_to_14_0_2_negated_goal_bmc_22.smt2 |
| blocksworld_from_5_10_6_to_18_1_2_negated_goal_bmc_28.smt2 |
| blocksworld_from_0_7_5_to_2_8_2_negated_goal_bmc_19.smt2 |
| blocksworld_from_1_21_4_to_17_7_2_negated_goal_bmc_14.smt2 |
| blocksworld_from_9_9_2_to_12_5_3_negated_goal_bmc_4.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_2.smt2 |
| blocksworld_from_4_10_4_to_15_0_3_negated_goal_bmc_35.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_21.smt2 |
| blocksworld_from_9_12_5_to_20_1_5_negated_goal_bmc_46.smt2 |
| blocksworld_from_3_0_0_to_1_1_1_negated_goal_bmc_4.smt2 |
| blocksworld_from_4_10_4_to_15_0_3_negated_goal_bmc_13.smt2 |
| blocksworld_from_4_0_5_to_8_0_1_negated_goal_bmc_1.smt2 |
| blocksworld_from_10_5_8_to_4_10_9_negated_goal_bmc_27.smt2 |
| blocksworld_from_1_14_5_to_17_3_0_negated_goal_bmc_4.smt2 |
| blocksworld_from_11_0_10_to_18_1_2_negated_goal_bmc_24.smt2 |
| blocksworld_from_13_1_5_to_8_4_7_negated_goal_bmc_13.smt2 |
| blocksworld_from_13_2_4_to_13_3_3_negated_goal_bmc_29.smt2 |
| blocksworld_from_13_1_6_to_8_7_5_negated_goal_bmc_28.smt2 |
| blocksworld_from_1_2_10_to_13_0_0_negated_goal_bmc_12.smt2 |
| blocksworld_from_13_0_1_to_11_0_3_negated_goal_bmc_21.smt2 |
| blocksworld_from_13_3_3_to_3_11_5_negated_goal_bmc_14.smt2 |
| blocksworld_from_20_0_0_to_17_2_1_negated_goal_bmc_29.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_23.smt2 |
| blocksworld_from_12_0_3_to_8_3_4_negated_goal_bmc_27.smt2 |
| blocksworld_from_0_16_9_to_6_17_2_negated_goal_bmc_40.smt2 |
| blocksworld_from_2_1_11_to_9_3_2_negated_goal_bmc_21.smt2 |
| blocksworld_from_0_18_5_to_17_0_6_negated_goal_bmc_14.smt2 |
| blocksworld_from_1_24_0_to_9_16_0_negated_goal_bmc_21.smt2 |
| blocksworld_from_9_7_0_to_9_6_1_negated_goal_bmc_17.smt2 |
| blocksworld_from_5_5_0_to_7_0_3_negated_goal_bmc_5.smt2 |
| blocksworld_from_13_1_6_to_8_7_5_negated_goal_bmc_15.smt2 |
| blocksworld_from_2_4_0_to_0_3_3_negated_goal_bmc_7.smt2 |
| blocksworld_from_25_0_0_to_9_6_10_negated_goal_bmc_0.smt2 |
| blocksworld_from_0_13_3_to_14_2_0_negated_goal_bmc_24.smt2 |
| blocksworld_from_0_13_3_to_14_2_0_negated_goal_bmc_12.smt2 |
| blocksworld_from_7_3_1_to_5_6_0_negated_goal_bmc_11.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_33.smt2 |
| blocksworld_from_6_20_0_to_1_12_13_negated_goal_bmc_45.smt2 |
| blocksworld_from_20_2_0_to_8_7_7_negated_goal_bmc_6.smt2 |
| blocksworld_from_0_24_0_to_2_11_11_negated_goal_bmc_40.smt2 |
| blocksworld_from_7_0_15_to_7_2_13_negated_goal_bmc_29.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_28.smt2 |
| blocksworld_from_0_9_0_to_1_6_2_negated_goal_bmc_8.smt2 |
| blocksworld_from_1_6_3_to_9_0_1_negated_goal_bmc_16.smt2 |
| blocksworld_from_9_4_1_to_0_13_1_negated_goal_bmc_23.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_31.smt2 |
| blocksworld_from_15_6_4_to_10_2_13_negated_goal_bmc_13.smt2 |
| blocksworld_from_8_2_4_to_0_3_11_negated_goal_bmc_0.smt2 |
| blocksworld_from_12_0_3_to_8_3_4_negated_goal_bmc_21.smt2 |
| blocksworld_from_11_4_8_to_17_1_5_negated_goal_bmc_32.smt2 |
| blocksworld_from_4_2_8_to_7_1_6_negated_goal_bmc_16.smt2 |
| blocksworld_from_0_1_19_to_6_3_11_negated_goal_bmc_2.smt2 |
| blocksworld_from_2_6_2_to_3_4_3_negated_goal_bmc_10.smt2 |
| blocksworld_from_3_1_18_to_3_16_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_17_2_1_to_19_1_0_negated_goal_bmc_1.smt2 |
| blocksworld_from_1_1_0_to_1_0_1_negated_goal_bmc_1.smt2 |
| blocksworld_from_7_3_12_to_12_0_10_negated_goal_bmc_42.smt2 |
| blocksworld_from_18_5_3_to_18_1_7_negated_goal_bmc_2.smt2 |
| blocksworld_from_8_6_1_to_8_1_6_negated_goal_bmc_25.smt2 |
| blocksworld_from_1_21_4_to_17_7_2_negated_goal_bmc_17.smt2 |
| blocksworld_from_6_0_0_to_3_2_1_negated_goal_bmc_5.smt2 |
| blocksworld_from_20_4_0_to_22_1_1_negated_goal_bmc_14.smt2 |
| blocksworld_from_2_13_3_to_5_5_8_negated_goal_bmc_13.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_34.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_6.smt2 |
| blocksworld_from_18_5_3_to_18_1_7_negated_goal_bmc_16.smt2 |
| blocksworld_from_0_9_4_to_3_3_7_negated_goal_bmc_5.smt2 |
| blocksworld_from_3_5_0_to_8_0_0_negated_goal_bmc_14.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_22.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_24.smt2 |
| blocksworld_from_0_0_8_to_1_3_4_negated_goal_bmc_9.smt2 |
| blocksworld_from_12_1_3_to_11_1_4_negated_goal_bmc_2.smt2 |
| blocksworld_from_13_11_1_to_17_3_5_negated_goal_bmc_35.smt2 |
| blocksworld_from_9_1_7_to_11_1_5_negated_goal_bmc_28.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_32.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_4.smt2 |
| blocksworld_from_24_1_0_to_20_2_3_negated_goal_bmc_34.smt2 |
| blocksworld_from_3_5_10_to_17_0_1_negated_goal_bmc_8.smt2 |
| blocksworld_from_10_4_3_to_1_14_2_negated_goal_bmc_11.smt2 |
| blocksworld_from_16_2_1_to_12_6_1_negated_goal_bmc_31.smt2 |
| blocksworld_from_14_0_3_to_12_4_1_negated_goal_bmc_19.smt2 |
| blocksworld_from_6_2_1_to_9_0_0_negated_goal_bmc_8.smt2 |
| blocksworld_from_20_0_1_to_1_2_18_negated_goal_bmc_14.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_21.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_50.smt2 |
| blocksworld_from_15_6_4_to_10_2_13_negated_goal_bmc_29.smt2 |
| blocksworld_from_9_4_4_to_14_1_2_negated_goal_bmc_3.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_17.smt2 |
| blocksworld_from_6_3_5_to_9_4_1_negated_goal_bmc_10.smt2 |
| blocksworld_from_24_1_0_to_20_2_3_negated_goal_bmc_26.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_1.smt2 |
| blocksworld_from_1_0_2_to_1_0_2_negated_goal_bmc_4.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_16.smt2 |
| blocksworld_from_5_8_2_to_8_0_7_negated_goal_bmc_26.smt2 |
| blocksworld_from_21_0_4_to_10_10_5_negated_goal_bmc_40.smt2 |
| blocksworld_from_7_0_15_to_7_2_13_negated_goal_bmc_28.smt2 |
| blocksworld_from_10_5_6_to_13_6_2_negated_goal_bmc_23.smt2 |
| blocksworld_from_11_0_10_to_18_1_2_negated_goal_bmc_9.smt2 |
| blocksworld_from_10_7_1_to_8_0_10_negated_goal_bmc_18.smt2 |
| blocksworld_from_15_6_4_to_10_2_13_negated_goal_bmc_7.smt2 |
| blocksworld_from_17_2_3_to_8_7_7_negated_goal_bmc_3.smt2 |
| blocksworld_from_3_1_20_to_23_0_1_negated_goal_bmc_6.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_29.smt2 |
| blocksworld_from_4_19_1_to_0_8_16_negated_goal_bmc_26.smt2 |
| blocksworld_from_2_4_0_to_0_3_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_0_0_21_to_10_8_3_negated_goal_bmc_0.smt2 |
| blocksworld_from_5_9_3_to_13_1_3_negated_goal_bmc_25.smt2 |
| blocksworld_from_4_4_4_to_1_0_11_negated_goal_bmc_22.smt2 |
| blocksworld_from_15_6_4_to_10_2_13_negated_goal_bmc_44.smt2 |
| blocksworld_from_5_2_3_to_9_0_1_negated_goal_bmc_10.smt2 |
| blocksworld_from_0_4_7_to_4_4_3_negated_goal_bmc_19.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_49.smt2 |
| blocksworld_from_0_18_5_to_17_0_6_negated_goal_bmc_12.smt2 |
| blocksworld_from_15_3_0_to_3_5_10_negated_goal_bmc_35.smt2 |
| blocksworld_from_7_2_0_to_7_0_2_negated_goal_bmc_0.smt2 |
| blocksworld_from_4_0_5_to_8_0_1_negated_goal_bmc_14.smt2 |
| blocksworld_from_9_1_5_to_8_0_7_negated_goal_bmc_27.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_9.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_22.smt2 |
| blocksworld_from_1_2_10_to_13_0_0_negated_goal_bmc_3.smt2 |
| blocksworld_from_13_0_1_to_11_0_3_negated_goal_bmc_17.smt2 |
| blocksworld_from_11_0_6_to_13_1_3_negated_goal_bmc_16.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_27.smt2 |
| blocksworld_from_20_0_0_to_17_2_1_negated_goal_bmc_25.smt2 |
| blocksworld_from_14_0_3_to_12_4_1_negated_goal_bmc_17.smt2 |
| blocksworld_from_22_0_4_to_26_0_0_negated_goal_bmc_17.smt2 |
| blocksworld_from_3_1_18_to_3_16_3_negated_goal_bmc_25.smt2 |
| blocksworld_from_3_1_18_to_3_16_3_negated_goal_bmc_39.smt2 |
| blocksworld_from_4_0_1_to_1_1_3_negated_goal_bmc_7.smt2 |
| blocksworld_from_6_1_1_to_4_2_2_negated_goal_bmc_7.smt2 |
| blocksworld_from_23_1_0_to_8_9_7_negated_goal_bmc_5.smt2 |
| blocksworld_from_5_1_10_to_4_9_3_negated_goal_bmc_3.smt2 |
| blocksworld_from_10_5_8_to_4_10_9_negated_goal_bmc_40.smt2 |
| blocksworld_from_5_1_10_to_4_9_3_negated_goal_bmc_14.smt2 |
| blocksworld_from_22_0_4_to_26_0_0_negated_goal_bmc_28.smt2 |
| blocksworld_from_9_7_0_to_9_6_1_negated_goal_bmc_9.smt2 |
| blocksworld_from_1_9_5_to_13_2_0_negated_goal_bmc_11.smt2 |
| blocksworld_from_20_0_0_to_17_2_1_negated_goal_bmc_34.smt2 |
| blocksworld_from_17_0_1_to_1_10_7_negated_goal_bmc_3.smt2 |
| blocksworld_from_23_1_0_to_10_1_13_negated_goal_bmc_25.smt2 |
| blocksworld_from_12_0_7_to_18_0_1_negated_goal_bmc_10.smt2 |
| blocksworld_from_11_0_1_to_11_1_0_negated_goal_bmc_0.smt2 |
| blocksworld_from_0_6_0_to_5_0_1_negated_goal_bmc_0.smt2 |
| blocksworld_from_9_12_5_to_20_1_5_negated_goal_bmc_20.smt2 |
| blocksworld_from_6_1_1_to_1_5_2_negated_goal_bmc_9.smt2 |
| blocksworld_from_15_2_6_to_18_3_2_negated_goal_bmc_9.smt2 |
| blocksworld_from_0_9_4_to_3_3_7_negated_goal_bmc_19.smt2 |
| blocksworld_from_1_2_1_to_1_3_0_negated_goal_bmc_3.smt2 |
| blocksworld_from_3_1_12_to_15_0_1_negated_goal_bmc_19.smt2 |
| blocksworld_from_24_1_0_to_20_2_3_negated_goal_bmc_48.smt2 |
| blocksworld_from_12_7_0_to_11_3_5_negated_goal_bmc_1.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_18.smt2 |
| blocksworld_from_16_2_1_to_12_6_1_negated_goal_bmc_4.smt2 |
| blocksworld_from_0_3_6_to_2_0_7_negated_goal_bmc_9.smt2 |
| blocksworld_from_22_0_4_to_26_0_0_negated_goal_bmc_32.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_6.smt2 |
| blocksworld_from_8_2_4_to_0_3_11_negated_goal_bmc_21.smt2 |
| blocksworld_from_13_1_5_to_8_4_7_negated_goal_bmc_30.smt2 |
| blocksworld_from_6_20_0_to_1_12_13_negated_goal_bmc_12.smt2 |
| blocksworld_from_20_2_0_to_13_2_7_negated_goal_bmc_12.smt2 |
| blocksworld_from_21_1_2_to_14_3_7_negated_goal_bmc_22.smt2 |
| blocksworld_from_0_18_1_to_17_2_0_negated_goal_bmc_27.smt2 |
| blocksworld_from_0_1_19_to_6_3_11_negated_goal_bmc_9.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_27.smt2 |
| blocksworld_from_0_18_1_to_17_2_0_negated_goal_bmc_12.smt2 |
| blocksworld_from_6_4_13_to_0_16_7_negated_goal_bmc_27.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_28.smt2 |
| blocksworld_from_15_2_6_to_18_3_2_negated_goal_bmc_33.smt2 |
| blocksworld_from_10_5_8_to_4_10_9_negated_goal_bmc_23.smt2 |
| blocksworld_from_7_3_1_to_5_6_0_negated_goal_bmc_9.smt2 |
| blocksworld_from_9_7_0_to_9_6_1_negated_goal_bmc_25.smt2 |
| blocksworld_from_12_1_0_to_11_1_1_negated_goal_bmc_19.smt2 |
| blocksworld_from_8_8_1_to_9_4_4_negated_goal_bmc_4.smt2 |
| blocksworld_from_9_10_3_to_1_0_21_negated_goal_bmc_30.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_28.smt2 |
| blocksworld_from_12_1_3_to_11_1_4_negated_goal_bmc_26.smt2 |
| blocksworld_from_5_8_2_to_8_0_7_negated_goal_bmc_12.smt2 |
| blocksworld_from_13_2_4_to_13_3_3_negated_goal_bmc_5.smt2 |
| blocksworld_from_22_0_2_to_9_12_3_negated_goal_bmc_43.smt2 |
| blocksworld_from_2_0_5_to_2_1_4_negated_goal_bmc_4.smt2 |
| blocksworld_from_1_21_4_to_17_7_2_negated_goal_bmc_25.smt2 |
| blocksworld_from_4_0_5_to_8_0_1_negated_goal_bmc_8.smt2 |
| blocksworld_from_13_6_1_to_19_0_1_negated_goal_bmc_31.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_4.smt2 |
| blocksworld_from_0_3_6_to_2_0_7_negated_goal_bmc_13.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_10.smt2 |
| blocksworld_from_5_8_2_to_8_0_7_negated_goal_bmc_20.smt2 |
| blocksworld_from_17_2_3_to_8_7_7_negated_goal_bmc_29.smt2 |
| blocksworld_from_0_7_3_to_8_1_1_negated_goal_bmc_11.smt2 |
| blocksworld_from_2_3_0_to_5_0_0_negated_goal_bmc_0.smt2 |
| blocksworld_from_6_4_13_to_0_16_7_negated_goal_bmc_23.smt2 |
| blocksworld_from_1_0_1_to_0_1_1_negated_goal_bmc_3.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_8.smt2 |
| blocksworld_from_0_2_1_to_3_0_0_negated_goal_bmc_1.smt2 |
| blocksworld_from_18_1_7_to_7_17_2_negated_goal_bmc_7.smt2 |
| blocksworld_from_1_7_5_to_6_4_3_negated_goal_bmc_24.smt2 |
| blocksworld_from_4_1_2_to_4_2_1_negated_goal_bmc_0.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_30.smt2 |
| blocksworld_from_24_1_0_to_20_2_3_negated_goal_bmc_33.smt2 |
| blocksworld_from_4_3_9_to_2_4_10_negated_goal_bmc_21.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_19.smt2 |
| blocksworld_from_11_0_1_to_11_1_0_negated_goal_bmc_14.smt2 |
| blocksworld_from_1_7_5_to_6_4_3_negated_goal_bmc_3.smt2 |
| blocksworld_from_4_19_1_to_0_8_16_negated_goal_bmc_4.smt2 |
| blocksworld_from_17_2_1_to_19_1_0_negated_goal_bmc_15.smt2 |
| blocksworld_from_21_0_4_to_10_10_5_negated_goal_bmc_26.smt2 |
| blocksworld_from_7_1_1_to_8_1_0_negated_goal_bmc_14.smt2 |
| blocksworld_from_5_8_8_to_0_0_21_negated_goal_bmc_22.smt2 |
| blocksworld_from_7_4_13_to_4_14_6_negated_goal_bmc_20.smt2 |
| blocksworld_from_13_0_1_to_11_0_3_negated_goal_bmc_24.smt2 |
| blocksworld_from_0_4_7_to_4_4_3_negated_goal_bmc_15.smt2 |
| blocksworld_from_5_0_8_to_7_5_1_negated_goal_bmc_12.smt2 |
| blocksworld_from_5_21_0_to_20_6_0_negated_goal_bmc_44.smt2 |
| blocksworld_from_0_0_21_to_10_8_3_negated_goal_bmc_35.smt2 |
| blocksworld_from_15_3_0_to_3_5_10_negated_goal_bmc_14.smt2 |
| blocksworld_from_5_8_8_to_0_0_21_negated_goal_bmc_15.smt2 |
| blocksworld_from_15_2_6_to_18_3_2_negated_goal_bmc_21.smt2 |
| blocksworld_from_1_14_5_to_17_3_0_negated_goal_bmc_10.smt2 |
| blocksworld_from_7_3_12_to_12_0_10_negated_goal_bmc_8.smt2 |
| blocksworld_from_9_9_2_to_12_5_3_negated_goal_bmc_1.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_5.smt2 |
| blocksworld_from_9_0_3_to_11_0_1_negated_goal_bmc_5.smt2 |
| blocksworld_from_0_1_15_to_13_1_2_negated_goal_bmc_13.smt2 |
| blocksworld_from_2_2_14_to_14_4_0_negated_goal_bmc_10.smt2 |
| blocksworld_from_18_1_7_to_7_17_2_negated_goal_bmc_31.smt2 |
| blocksworld_from_4_2_4_to_3_2_5_negated_goal_bmc_4.smt2 |
| blocksworld_from_5_8_8_to_0_0_21_negated_goal_bmc_35.smt2 |
| blocksworld_from_12_0_7_to_18_0_1_negated_goal_bmc_13.smt2 |
| blocksworld_from_12_2_0_to_5_0_9_negated_goal_bmc_14.smt2 |
| blocksworld_from_17_2_1_to_19_1_0_negated_goal_bmc_31.smt2 |
| blocksworld_from_5_7_5_to_8_8_1_negated_goal_bmc_21.smt2 |
| blocksworld_from_13_1_5_to_8_4_7_negated_goal_bmc_2.smt2 |
| blocksworld_from_19_2_0_to_19_0_2_negated_goal_bmc_22.smt2 |
| blocksworld_from_0_18_1_to_17_2_0_negated_goal_bmc_15.smt2 |
| blocksworld_from_2_0_5_to_2_1_4_negated_goal_bmc_2.smt2 |
| blocksworld_from_2_8_5_to_9_6_0_negated_goal_bmc_26.smt2 |
| blocksworld_from_0_0_21_to_10_8_3_negated_goal_bmc_41.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_50.smt2 |
| blocksworld_from_0_1_15_to_13_1_2_negated_goal_bmc_21.smt2 |
| blocksworld_from_20_2_0_to_13_2_7_negated_goal_bmc_27.smt2 |
| blocksworld_from_16_4_2_to_16_3_3_negated_goal_bmc_5.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_16.smt2 |
| blocksworld_from_11_1_11_to_5_8_10_negated_goal_bmc_26.smt2 |
| blocksworld_from_5_8_8_to_0_0_21_negated_goal_bmc_2.smt2 |
| blocksworld_from_21_4_1_to_0_23_3_negated_goal_bmc_34.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_13.smt2 |
| blocksworld_from_6_1_11_to_6_0_12_negated_goal_bmc_1.smt2 |
| blocksworld_from_15_6_4_to_10_2_13_negated_goal_bmc_47.smt2 |
| blocksworld_from_1_24_0_to_9_16_0_negated_goal_bmc_18.smt2 |
| blocksworld_from_13_0_1_to_11_0_3_negated_goal_bmc_23.smt2 |
| blocksworld_from_5_0_1_to_1_1_4_negated_goal_bmc_5.smt2 |
| blocksworld_from_4_0_5_to_8_0_1_negated_goal_bmc_13.smt2 |
| blocksworld_from_5_3_8_to_14_1_1_negated_goal_bmc_10.smt2 |
| blocksworld_from_4_19_1_to_0_8_16_negated_goal_bmc_22.smt2 |
| blocksworld_from_12_7_0_to_11_3_5_negated_goal_bmc_29.smt2 |
| blocksworld_from_7_4_13_to_4_14_6_negated_goal_bmc_15.smt2 |
| blocksworld_from_3_0_3_to_1_2_3_negated_goal_bmc_4.smt2 |
| blocksworld_from_23_1_0_to_8_9_7_negated_goal_bmc_31.smt2 |
| blocksworld_from_3_1_18_to_3_16_3_negated_goal_bmc_8.smt2 |
| blocksworld_from_16_2_0_to_1_1_16_negated_goal_bmc_33.smt2 |
| blocksworld_from_10_7_1_to_8_0_10_negated_goal_bmc_16.smt2 |
| blocksworld_from_0_18_1_to_17_2_0_negated_goal_bmc_5.smt2 |
| blocksworld_from_12_0_3_to_8_3_4_negated_goal_bmc_29.smt2 |
| blocksworld_from_20_0_0_to_17_2_1_negated_goal_bmc_10.smt2 |
| blocksworld_from_11_0_6_to_13_1_3_negated_goal_bmc_22.smt2 |
| blocksworld_from_11_0_0_to_6_4_1_negated_goal_bmc_17.smt2 |
| blocksworld_from_15_2_6_to_18_3_2_negated_goal_bmc_15.smt2 |
| blocksworld_from_5_9_3_to_13_1_3_negated_goal_bmc_31.smt2 |
| blocksworld_from_5_0_5_to_5_3_2_negated_goal_bmc_17.smt2 |
| blocksworld_from_1_14_5_to_17_3_0_negated_goal_bmc_28.smt2 |
| blocksworld_from_24_1_0_to_8_1_16_negated_goal_bmc_21.smt2 |
| blocksworld_from_7_4_13_to_4_14_6_negated_goal_bmc_4.smt2 |
| blocksworld_from_1_0_2_to_1_0_2_negated_goal_bmc_1.smt2 |
| blocksworld_from_0_1_19_to_6_3_11_negated_goal_bmc_11.smt2 |
| blocksworld_from_11_4_8_to_17_1_5_negated_goal_bmc_2.smt2 |
| blocksworld_from_12_7_0_to_14_5_0_negated_goal_bmc_36.smt2 |
| blocksworld_from_4_16_3_to_5_0_18_negated_goal_bmc_18.smt2 |
| blocksworld_from_0_7_3_to_8_1_1_negated_goal_bmc_8.smt2 |
| blocksworld_from_2_1_9_to_0_9_3_negated_goal_bmc_9.smt2 |
| blocksworld_from_6_2_14_to_12_6_4_negated_goal_bmc_5.smt2 |
| blocksworld_from_19_2_0_to_19_0_2_negated_goal_bmc_21.smt2 |
| blocksworld_from_8_10_1_to_5_9_5_negated_goal_bmc_30.smt2 |
| blocksworld_from_1_24_0_to_9_16_0_negated_goal_bmc_24.smt2 |
| blocksworld_from_8_6_9_to_13_1_9_negated_goal_bmc_12.smt2 |
| blocksworld_from_1_2_10_to_13_0_0_negated_goal_bmc_0.smt2 |
| blocksworld_from_12_1_0_to_1_12_0_negated_goal_bmc_10.smt2 |
| blocksworld_from_10_0_0_to_7_3_0_negated_goal_bmc_6.smt2 |
| blocksworld_from_2_12_9_to_0_10_13_negated_goal_bmc_15.smt2 |
| blocksworld_from_2_5_13_to_12_7_1_negated_goal_bmc_1.smt2 |
| blocksworld_from_1_2_10_to_13_0_0_negated_goal_bmc_9.smt2 |
| blocksworld_from_11_6_0_to_8_0_9_negated_goal_bmc_26.smt2 |
| blocksworld_from_6_20_0_to_1_12_13_negated_goal_bmc_11.smt2 |
| blocksworld_from_5_4_17_to_12_6_8_negated_goal_bmc_39.smt2 |
| blocksworld_from_12_0_7_to_18_0_1_negated_goal_bmc_7.smt2 |
| blocksworld_from_20_0_1_to_1_2_18_negated_goal_bmc_40.smt2 |
| blocksworld_from_2_1_9_to_0_9_3_negated_goal_bmc_14.smt2 |
| blocksworld_from_3_1_20_to_23_0_1_negated_goal_bmc_25.smt2 |
| blocksworld_from_21_0_4_to_10_10_5_negated_goal_bmc_46.smt2 |
| blocksworld_from_2_12_9_to_0_10_13_negated_goal_bmc_4.smt2 |
| blocksworld_from_10_7_1_to_8_0_10_negated_goal_bmc_35.smt2 |
| blocksworld_from_8_2_4_to_0_3_11_negated_goal_bmc_18.smt2 |
| blocksworld_from_9_10_3_to_1_0_21_negated_goal_bmc_14.smt2 |
| blocksworld_from_20_2_0_to_13_2_7_negated_goal_bmc_15.smt2 |
| blocksworld_from_6_9_0_to_14_0_1_negated_goal_bmc_4.smt2 |
| blocksworld_from_4_4_3_to_4_3_4_negated_goal_bmc_15.smt2 |
| blocksworld_from_24_1_0_to_8_1_16_negated_goal_bmc_30.smt2 |