From fe116be774029b246371b56a89daad4a62b8683a Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue, 28 Dec 2021 18:55:27 +0100 Subject: [PATCH] Created LOG of first big tests (markdown) --- LOG-of-first-big-tests.md | 357 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 357 insertions(+) create mode 100644 LOG-of-first-big-tests.md diff --git a/LOG-of-first-big-tests.md b/LOG-of-first-big-tests.md new file mode 100644 index 0000000..0323449 --- /dev/null +++ b/LOG-of-first-big-tests.md @@ -0,0 +1,357 @@ +First tests based on the adf-instances repository (found in res/adf-instances). + +``` +argo test --jobs 1 --release + Finished release [optimized] target(s) in 0.04s + Running unittests (target/release/deps/adf_bdd-1a5eaaf2dfe8cd1b) + +running 18 tests +test datatypes::adf::test::init_varcontainer ... ok +test adf::test::complete ... ok +test obdd::test::addconst ... ok +test adf::test::from_parser ... ok +test obdd::test::addvar ... ok +test obdd::test::newbdd ... ok +test obdd::test::produce_different_conversions ... ok +test obdd::test::use_add ... ok +test obdd::test::use_negation ... ok +test obdd::test::use_or ... ok +test parser::test::constant ... ok +test parser::test::atomic_parse ... ok +test parser::test::parse ... ok +test parser::test::parse_formula ... ok +test parser::test::non_consuming_parse ... ok +test parser::test::statement_parse ... ok +test parser::test::sort_updates ... ok +test parser::test::parse_statement ... ok + +test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s + + Running unittests (target/release/deps/adf_bdd-3c2e14dd79cf5cba) + +running 18 tests +test adf::test::complete ... ok +test datatypes::adf::test::init_varcontainer ... ok +test obdd::test::addconst ... ok +test adf::test::from_parser ... ok +test obdd::test::addvar ... ok +test obdd::test::newbdd ... ok +test obdd::test::produce_different_conversions ... ok +test obdd::test::use_add ... ok +test obdd::test::use_negation ... ok +test obdd::test::use_or ... ok +test parser::test::atomic_parse ... ok +test parser::test::constant ... ok +test parser::test::non_consuming_parse ... ok +test parser::test::parse ... ok +test parser::test::parse_formula ... ok +test parser::test::parse_statement ... ok +test parser::test::statement_parse ... ok +test parser::test::sort_updates ... ok + +test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s + + Running tests/automated.rs (target/release/deps/automated-9d899031fd50b473) + +running 299 tests +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step1_batch_yyy03_10_21_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step1_batch_yyy04_10_23_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step1_batch_yyy05_12_32_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step1_batch_yyy10_9_12_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step1_batch_yyy08_9_20_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step2_batch_yyy01_17_49_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step2_batch_yyy07_20_71_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step2_batch_yyy10_19_119_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step5_batch_yyy06_29_57_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step2_batch_yyy08_23_147_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step3_batch_yyy06_42_655_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step4_batch_yyy10_43_637_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step1_batch_yyy07_39_661_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step1_batch_yyy08_39_869_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step7_batch_yyy04_50_543_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step3_batch_yyy07_43_1168_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step3_batch_yyy07_32_242_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step3_batch_yyy08_59_2319_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step4_batch_yyy01_26_109_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step4_batch_yyy07_32_270_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step5_batch_yyy05_28_112_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step6_batch_yyy01_28_111_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step6_batch_yyy03_25_55_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step6_batch_yyy06_34_135_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step6_batch_yyy07_31_47_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step6_batch_yyy08_35_52_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step7_batch_yyy06_50_423_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step7_batch_yyy07_26_19_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step7_batch_yyy08_25_40_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step8_batch_yyy02_34_80_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step8_batch_yyy03_25_20_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step8_batch_yyy04_23_34_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step8_batch_yyy05_30_33_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step8_batch_yyy10_37_163_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step3_batch_yyy10_57_2247_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary2_step1_batch_yyy09_29_309_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step1_batch_yyy03_43_614_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary2_step1_batch_yyy02_51_886_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step1_batch_yyy07_33_173_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step1_batch_yyy05_38_345_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step1_batch_yyy09_28_192_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step2_batch_yyy02_37_293_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step2_batch_yyy06_25_26_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step2_batch_yyy04_34_251_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step2_batch_yyy07_24_49_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step3_batch_yyy02_22_31_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step3_batch_yyy04_23_119_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy01_13_63_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary3_step3_batch_yyy05_19_23_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy02_14_83_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy03_9_20_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy04_10_22_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy06_10_27_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy09_10_48_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step1_batch_yyy10_8_13_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy03_26_394_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy05_35_596_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy06_27_308_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy08_42_1081_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy09_23_151_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy10_42_992_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step4_batch_yyy04_69_2696_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step3_batch_yyy06_74_3427_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step3_batch_yyy01_77_3320_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step4_batch_yyy01_67_2668_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step2_batch_yyy02_76_5081_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step1_batch_yyy10_76_4339_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step4_batch_yyy09_64_1772_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step5_batch_yyy01_41_338_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step5_batch_yyy04_61_1113_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step5_batch_yyy05_64_1538_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step5_batch_yyy08_70_2490_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step6_batch_yyy01_31_112_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step6_batch_yyy06_42_666_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step6_batch_yyy09_27_61_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step7_batch_yyy02_31_117_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step7_batch_yyy06_27_116_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step7_batch_yyy07_29_81_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step7_batch_yyy10_33_64_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step8_batch_yyy03_37_126_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step8_batch_yyy05_31_90_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step8_batch_yyy06_30_157_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_indvary1_step1_batch_yyy09_81_5112_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step1_batch_yyy08_37_258_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step2_batch_yyy01_59_1785_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step2_batch_yyy03_40_203_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step2_batch_yyy04_37_359_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step2_batch_yyy07_35_338_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step2_batch_yyy10_28_139_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_02_pddl_1_cnf_266_495_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_02_pddl_2_cnf_161_285_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_02_pddl_3_cnf_282_461_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_02_pddl_4_cnf_247_391_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_03_pddl_1_cnf_266_494_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_05_pddl_1_cnf_267_497_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_05_pddl_2_cnf_162_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_05_pddl_3_cnf_283_462_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_05_pddl_4_cnf_248_392_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_07_pddl_1_cnf_265_493_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_07_pddl_2_cnf_160_284_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_07_pddl_3_cnf_281_460_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_07_pddl_4_cnf_246_390_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_08_pddl_1_cnf_266_495_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_08_pddl_2_cnf_161_285_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_08_pddl_3_cnf_282_461_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_bw2_pfile_3_08_pddl_4_cnf_247_391_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_010_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_01_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_01_pddl_2_cnf_160_279_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_02_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_02_pddl_2_cnf_160_279_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_1_cnf_123_211_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_2_cnf_131_227_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_3_cnf_205_334_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_4_cnf_175_274_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_5_cnf_213_361_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_03_pddl_6_cnf_219_359_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_1_cnf_123_211_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_2_cnf_131_227_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_3_cnf_205_334_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_4_cnf_175_274_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_5_cnf_213_361_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_04_pddl_6_cnf_219_359_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_1_cnf_123_211_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_2_cnf_131_227_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_3_cnf_205_334_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_4_cnf_175_274_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_5_cnf_213_361_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_05_pddl_6_cnf_219_359_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_06_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_06_pddl_2_cnf_160_279_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_07_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_07_pddl_2_cnf_160_279_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_08_pddl_1_cnf_86_136_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_08_pddl_2_cnf_160_279_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_09_pddl_1_cnf_123_211_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_09_pddl_2_cnf_131_227_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_09_pddl_3_cnf_205_334_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_09_pddl_4_cnf_175_274_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C1_09_pddl_5_cnf_213_361_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_010_pddl_1_cnf_135_220_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_010_pddl_2_cnf_276_500_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_01_pddl_1_cnf_221_402_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_01_pddl_2_cnf_239_432_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_01_pddl_4_cnf_285_462_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_02_pddl_1_cnf_135_220_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_02_pddl_2_cnf_276_500_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_03_pddl_1_cnf_135_220_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_03_pddl_2_cnf_276_500_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_04_pddl_1_cnf_221_402_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_04_pddl_2_cnf_239_432_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_04_pddl_4_cnf_285_462_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_05_pddl_1_cnf_135_220_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_06_pddl_1_cnf_221_402_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_06_pddl_2_cnf_239_432_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_06_pddl_4_cnf_285_462_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_07_pddl_1_cnf_135_220_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_07_pddl_2_cnf_276_500_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_08_pddl_1_cnf_135_220_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_08_pddl_2_cnf_276_500_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_09_pddl_1_cnf_221_402_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C2_09_pddl_4_cnf_285_462_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C3_010_pddl_1_cnf_190_316_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C3_01_pddl_1_cnf_190_316_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C3_04_pddl_1_cnf_190_316_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C3_08_pddl_1_cnf_190_316_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C4_010_pddl_1_cnf_251_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C4_01_pddl_1_cnf_251_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C4_02_pddl_1_cnf_251_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C4_05_pddl_1_cnf_251_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L2_C4_08_pddl_1_cnf_251_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_010_pddl_1_cnf_233_430_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_010_pddl_2_cnf_273_507_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_010_pddl_4_cnf_281_463_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_01_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_02_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_03_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_04_pddl_1_cnf_233_430_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_04_pddl_2_cnf_273_507_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_04_pddl_4_cnf_281_463_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_05_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_07_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_08_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C1_09_pddl_1_cnf_164_287_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C2_03_pddl_1_cnf_229_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C2_04_pddl_1_cnf_229_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C2_05_pddl_1_cnf_229_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C2_06_pddl_1_cnf_229_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Planning2AF_ferry2_pfile_L3_C2_09_pddl_1_cnf_229_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_access_allegany_transit_20130327_1518_normalized_gml_50_42_76_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_adamjernst_20081211_0356_normalized_gml_20_248_481_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_anaheim_resort_transportation_20151217_1213_gml_50_81_171_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_bay_area_rapid_transit_20151217_1022_gml_20_45_56_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_bay_town_trolley_20151216_1628_gml_20_198_277_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_beloit_transit_system_20150513_1515_gml_20_235_391_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_benton_or_us_gml_80_25_56_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_bustang_20151217_1135_gml_80_20_41_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_calaveras_transit_20151216_1707_gml_50_32_82_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_caravan_or_2015_12_01_gml_50_19_32_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_cecil_transit_20151202_2004_gml_50_105_214_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_cecil_transit_20151202_2004_gml_80_105_248_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_cit_sorel_varennes_20150821_1708_gml_50_212_430_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_city_of_lodi_transitgrapeline_20130618_0428_gml_80_169_417_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_citygo_20090102_2309_gml_80_101_198_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_commute_org_20140813_1738_gml_20_116_198_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_comune_di_castellanza_20151218_2338_gml_80_35_96_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_coos_county_area_transit_20151216_1739_gml_80_65_179_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_corona_ca_2015_12_21_gml_20_168_222_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_corvallis2albany_or_us_gml_50_104_198_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_csehattila87_20151216_1417_gml_20_291_482_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_csehpacilla_at_mailbox_hu_20141204_2045_gml_50_286_578_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_duke_university_20150227_1733_gml_80_110_268_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_el_dorado_transit_20151217_1024_gml_20_139_270_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_emel_limassol_buses_20130419_1345_gml_50_20_25_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_glendale_beeline_20151202_1859_gml_50_209_387_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_go_transit_city_of_oshkosh_20151216_1805_gml_20_249_331_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_go_transit_city_of_oshkosh_20151216_1805_gml_50_249_421_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_gold_country_stage_20141230_2236_gml_20_223_326_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_gunnison_valley_rta_20151202_1952_gml_50_18_31_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_hkx_hamburg_kln_express_20150114_1008_gml_80_10_14_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_hoang_express_20120831_1707_normalized_gml_50_14_23_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_humboldt_archiver_20151216_1436_gml_80_265_627_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_irvine_shuttle_20091229_1547_gml_20_43_59_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_irvine_shuttle_20091229_1547_gml_80_43_79_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_janesville_transit_system_20150820_2037_gml_50_224_491_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_jeffco_express_20151217_0857_gml_20_77_117_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_joco_20140604_1619_gml_50_127_280_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_kern_regional_transit_20140801_2043_gml_20_179_323_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_laguna_beach_transit_20151216_1912_gml_20_20_50_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_leo_express_20150223_1307_gml_50_11_18_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_leon_spain_2016_01_gml_80_202_475_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_lowell_regional_transit_authority_20121214_0433_gml_20_128_191_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_lowell_regional_transit_authority_20121214_0433_gml_80_128_296_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_massachusetts_archiver_20090912_0208_gml_80_34_59_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_massachusetts_nrta_2014_12_03_gml_20_130_185_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_miccolis_spa_20141228_1729_gml_50_40_113_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_milton_freewater_or_us_gml_80_29_50_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_mountain_line_archiver_20110312_0338_gml_80_255_513_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_mrc_de_deux_montagnes_20130213_2116_gml_50_27_52_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_mumbai_metro_20151216_1419_gml_50_12_19_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_myciti_20131022_0552_gml_50_122_210_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_nc_state_university_wolfline_20150227_1735_gml_50_109_224_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_northwestpoint_or_2015_12_07_gml_20_11_13_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_norwalk_ct_2016_01_gml_80_250_552_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_omit_sainte_julie_20151202_1945_gml_50_152_280_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_ouibus_20151219_1959_gml_50_54_164_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_palos_verdes_peninsula_transit_authority_20151216_1829_gml_80_192_499_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_path_20120517_1620_normalized_gml_20_13_15_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_razorback_transit_20090814_1752_gml_50_92_188_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_redwood_coast_transit_20151216_1453_gml_20_113_165_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_rio_vista_delta_breeze_20131212_0124_gml_50_64_107_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_rio_vista_delta_breeze_20131212_0124_gml_80_64_127_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_rockland_county_ny_2016_01_gml_20_16_32_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_roseville_ca_2015_10_21_gml_80_207_449_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_s_potniki_promet_doo_20141212_1812_gml_80_262_703_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_san_benito_county_express_20151216_1918_gml_20_61_91_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_san_francisco_BART_20160101_v1_gml_20_45_57_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_sbase_20150429_2048_gml_80_98_171_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_septa_20151217_1207_gml_80_155_406_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_sfbay_ferries_archiver_20100127_0320_gml_80_9_26_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_siskiyou_transit_and_general_express_20150106_0149_gml_80_117_351_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_societe_nationale_des_chemins_de_fer_tunisiens_20140804_1915_gml_20_18_21_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_southern_california_2016_01_gml_20_56_89_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_southwest_point_20151216_1538_gml_80_18_34_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_sunshine_bus_company_20151216_1645_gml_80_48_122_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_swan_island_tma_20151217_0809_gml_20_15_26_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tehama_archiver_20151217_1411_gml_20_90_138_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tehama_ca_2015_12_30_gml_80_90_212_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_temiskaming_transit_20140107_0435_gml_20_62_87_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_the_shuttle_inc_20141224_0137_gml_20_18_23_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tillamook_or_2016_01_gml_80_181_424_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tillamook_or_us_gml_20_182_281_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tillamook_or_us_gml_80_182_418_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_topeka_metro_20121026_2234_gml_50_292_589_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tri_rail_20090129_0554_gml_20_18_20_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tri_rail_20090129_0554_gml_50_18_29_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_triangle_transit_express_20150227_1736_gml_20_56_105_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_triangle_transit_express_20150227_1736_gml_80_56_154_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_tursib_20110626_1306_gml_50_212_426_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_umpquatransit_or_2015_12_03_gml_50_190_349_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_university_of_nairobi_c4dlab_20141208_0940_normalized_gml_80_274_596_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_valleyretriever_or_2015_12_01_gml_20_14_20_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_vitoria_gasteiz_2016_01_gml_20_279_455_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_woodburn_or_us_gml_20_52_63_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_worcester_regional_transit_authority_20130618_1740_gml_50_80_181_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_worcester_regional_transit_authority_20130618_1740_gml_80_80_214_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_yamhill_or_us_gml_20_157_241_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_Traffic_yuba_sutter_transit_20151216_1736_gml_20_216_327_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary3_step1_batch_yyy02_83_4266_apx_adf ... ok +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step4_batch_yyy08_83_4977_apx_adf ... FAILED +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step4_batch_yyy05_133_13885_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step5_batch_yyy07_130_12111_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step6_batch_yyy08_120_8700_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step6_batch_yyy10_124_9640_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step7_batch_yyy02_120_7092_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_depvary_step6_batch_yyy02_137_12577_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step1_batch_yyy08_118_11977_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step4_batch_yyy03_127_12544_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_cycles_indvary1_step4_batch_yyy07_108_8869_apx_adf has been running for over 60 seconds +test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sXOR_ABA2AF_afinput_exp_acyclic_depvary_step6_batch_yyy08_120_8700_apx_adf ... ok +``` \ No newline at end of file