1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00

Updated LOG of first big tests (markdown)

Stefan Ellmauthaler 2021-12-28 18:57:35 +01:00
parent 8718aae959
commit 1634e0396b

@ -354,4 +354,5 @@ test compute_grounded_res_adf_instances_instances_adfgen_nacyc_se05_a_02_s_02_b_
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_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_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 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
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 ... ok
``` ```