Test output of first testrun #6
ellmau
started this conversation in
Show and tell
Replies: 1 comment
-
New results with the biodivine library adf-obdd on feature/issue_17_biodivine [!] is 📦 v0.1.4 via 🦀 v1.56.1 via ❄️ impure (lorri-keep-env-hack-nix-shell) took 50s
❯ cargo test --release --jobs 1
Finished release [optimized] target(s) in 0.06s
Running unittests (target/release/deps/adf_bdd-d7a58eb6c7333a2a)
running 30 tests
test adf::test::complete2 ... ok
test adf::test::complete ... ok
test adf::test::grounded ... ok
test adf::test::from_parser ... ok
test adf::test::serialize ... ok
test datatypes::adf::test::init_varcontainer ... ok
test datatypes::adf::test::three_valued_interpretations ... ok
test datatypes::adf::test::tvi_decrement ... ok
test datatypes::adf::test::two_valued_interpretations ... ok
test adfbiodivine::test::grounded ... ok
test adf::test::stable ... ok
test datatypes::bdd::test::cmp ... ok
test datatypes::bdd::test::bdd_node ... ok
test obdd::test::addconst ... ok
test obdd::test::addvar ... ok
test obdd::test::display ... ok
test obdd::test::newbdd ... ok
test datatypes::bdd::test::deref_display_from ... 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. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests (target/release/deps/adf_bdd-f1f51630f8061652)
running 29 tests
test adf::test::complete ... ok
test adf::test::from_parser ... ok
test adf::test::complete2 ... ok
test adf::test::serialize ... ok
test datatypes::adf::test::init_varcontainer ... ok
test adf::test::grounded ... ok
test datatypes::adf::test::three_valued_interpretations ... ok
test datatypes::adf::test::tvi_decrement ... ok
test datatypes::adf::test::two_valued_interpretations ... ok
test datatypes::bdd::test::cmp ... ok
test adf::test::stable ... ok
test datatypes::bdd::test::bdd_node ... ok
test obdd::test::addconst ... ok
test obdd::test::addvar ... ok
test obdd::test::display ... ok
test obdd::test::newbdd ... ok
test obdd::test::produce_different_conversions ... ok
test datatypes::bdd::test::deref_display_from ... 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. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running tests/cli.rs (target/release/deps/cli-9c277e5c1e65bafd)
running 2 tests
test arguments ... ok
test runs ... ok
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
Running tests/test_loader.rs (target/release/deps/test_loader-b8017c7189d37602)
running 596 tests
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_acyclic_depvary_step7_batch_yyy04_50_543_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_acyclic_depvary_step4_batch_yyy08_83_4977_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_acyclic_depvary_step5_batch_yyy07_130_12111_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_acyclic_depvary_step7_batch_yyy02_120_7092_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_cycles_indvary1_step4_batch_yyy07_108_8869_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_cycles_indvary1_step1_batch_yyy08_118_11977_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_acyclic_depvary_step4_batch_yyy05_133_13885_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_02_pddl_2_cnf_161_285_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_05_pddl_2_cnf_162_287_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_02_pddl_4_cnf_247_391_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_02_pddl_1_cnf_266_495_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_cycles_indvary1_step4_batch_yyy03_127_12544_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_02_pddl_3_cnf_282_461_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_05_pddl_1_cnf_267_497_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_aba2af_afinput_exp_cycles_depvary_step6_batch_yyy02_137_12577_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_03_pddl_1_cnf_266_494_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_07_pddl_2_cnf_160_284_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_05_pddl_3_cnf_283_462_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_05_pddl_4_cnf_248_392_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_07_pddl_1_cnf_265_493_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_07_pddl_4_cnf_246_390_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_08_pddl_4_cnf_247_391_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_07_pddl_3_cnf_281_460_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_08_pddl_1_cnf_266_495_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_planning2af_bw2_pfile_3_08_pddl_3_cnf_282_461_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_anaheim_resort_transportation_20151217_1213_gml_50_81_171_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_benton_or_us_gml_80_25_56_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_bustang_20151217_1135_gml_80_20_41_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_calaveras_transit_20151216_1707_gml_50_32_82_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_cecil_transit_20151202_2004_gml_50_105_214_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_cecil_transit_20151202_2004_gml_80_105_248_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_adamjernst_20081211_0356_normalized_gml_20_248_481_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_comune_di_castellanza_20151218_2338_gml_80_35_96_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_citygo_20090102_2309_gml_80_101_198_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_bay_town_trolley_20151216_1628_gml_20_198_277_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_commute_org_20140813_1738_gml_20_116_198_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_corvallis2albany_or_us_gml_50_104_198_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_emel_limassol_buses_20130419_1345_gml_50_20_25_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_duke_university_20150227_1733_gml_80_110_268_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_corona_ca_2015_12_21_gml_20_168_222_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_el_dorado_transit_20151217_1024_gml_20_139_270_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_cit_sorel_varennes_20150821_1708_gml_50_212_430_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_beloit_transit_system_20150513_1515_gml_20_235_391_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_irvine_shuttle_20091229_1547_gml_20_43_59_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_irvine_shuttle_20091229_1547_gml_80_43_79_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_glendale_beeline_20151202_1859_gml_50_209_387_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_joco_20140604_1619_gml_50_127_280_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_gold_country_stage_20141230_2236_gml_20_223_326_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_leo_express_20150223_1307_gml_50_11_18_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_kanawha_valley_regional_transportation_authority_krt_20150126_1340_gml_20_104_179_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_janesville_transit_system_20150820_2037_gml_50_224_491_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_milton_freewater_or_us_gml_80_29_50_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_miccolis_spa_20141228_1729_gml_50_40_113_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_mumbai_metro_20151216_1419_gml_50_12_19_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_massachusetts_nrta_2014_12_03_gml_20_130_185_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_myciti_20131022_0552_gml_50_122_210_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_csehpacillaatmailbox_hu_20141204_2045_gml_50_286_578_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_ouibus_20151219_1959_gml_50_54_164_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_leon_spain_2016_01_gml_80_202_475_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_path_20120517_1620_normalized_gml_20_13_15_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_razorback_transit_20090814_1752_gml_50_92_188_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_redwood_coast_transit_20151216_1453_gml_20_113_165_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_humboldt_archiver_20151216_1436_gml_80_265_627_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_omit_sainte_julie_20151202_1945_gml_50_152_280_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_csehattila87_20151216_1417_gml_20_291_482_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_san_francisco_bart_20160101_v1_gml_20_45_57_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_sbase_20150429_2048_gml_80_98_171_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_southern_california_2016_01_gml_20_56_89_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_southwest_point_20151216_1538_gml_80_18_34_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tehama_archiver_20151217_1411_gml_20_90_138_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_temiskaming_transit_20140107_0435_gml_20_62_87_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_the_shuttle_inc_20141224_0137_gml_20_18_23_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tehama_ca_2015_12_30_gml_80_90_212_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_septa_20151217_1207_gml_80_155_406_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_roseville_ca_2015_10_21_gml_80_207_449_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tri_rail_20090129_0554_gml_20_18_20_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_triangle_transit_express_20150227_1736_gml_20_56_105_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_triangle_transit_express_20150227_1736_gml_80_56_154_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_mountain_line_archiver_20110312_0338_gml_80_255_513_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tillamook_or_us_gml_20_182_281_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tillamook_or_2016_01_gml_80_181_424_apx_adf ... ok
test adfgen_acyc_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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_norwalk_ct_2016_01_gml_80_250_552_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tillamook_or_us_gml_80_182_418_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_woodburn_or_us_gml_20_52_63_apx_adf ... ok
test adfgen_acyc_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 ... ok
test adfgen_acyc_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 adfgen_acyc_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 ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_umpquatransit_or_2015_12_03_gml_50_190_349_apx_adf ... ok
test 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 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 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 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 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 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 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 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 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 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 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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_yamhill_or_us_gml_20_157_241_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_tursib_20110626_1306_gml_50_212_426_apx_adf ... ok
test 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 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 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 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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_yuba_sutter_transit_20151216_1736_gml_20_216_327_apx_adf ... ok
test adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_topeka_metro_20121026_2234_gml_50_292_589_apx_adf ... ok
test 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 ... ok
test 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 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 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 ... ok
test 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
test adfgen_acyc_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 ... ok
test 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 adfgen_acyc_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_vitoria_gasteiz_2016_01_gml_20_279_455_apx_adf ... ok
test 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ... ok
test 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 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 ... ok
test 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 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 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 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 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 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 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 ... ok
test 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_csehpacillaatmailbox_hu_20141204_2045_gml_50_286_578_apx_adf ... ok
test 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 ... ok
test 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 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 ... ok
test 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 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test adfgen_nacyc_se05_a_02_s_02_b_02_t_02_x_02_c_sxor_traffic_kanawha_valley_regional_transportation_authority_krt_20150126_1340_gml_20_104_179_apx_adf ... ok
test 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 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test 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 ... ok
test result: ok. 596 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 8.48s
Doc-tests adf_bdd
running 1 test
test src/parser.rs - parser::AdfParser::parse (line 161) ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.35s |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
The first test with the data from adf-instances resulted in the following results:
It is still running, but I'll update the results
if
it terminates.As mentioned in adf-instances issue 1, it looks like that the reference data has inferred too many results.
Beta Was this translation helpful? Give feedback.
All reactions