failed testcases (as of 8/3)

[soonho-tri]

 The following tests FAILED:
         308 - regression_nra_polytope_ea_02.smt2 (Failed)
         511 - regression_nra_short_sat_push_pop_04.smt2 (Failed)
         1179 - regression_nra_multiprune_push_pop_02.smt2 (Failed)
         1366 - regression_nra_slack_level_1_abs_2.smt2 (Failed)
         1500 - regression_nra_slack_level_2_abs_2.smt2 (Failed)
         1715 - regression_nra_lp_icp_push_pop_02.smt2 (Failed)
         1841 - regression_nra_lp_icp_prune_osmosis-hockey-ML3.smt2 (Failed)
         1849 - regression_nra_lp_icp_prune_push_pop_02.smt2 (Failed)
         1872 - regression_nra_lp_icp_prune_yichao_01.smt2 (Failed)
         1952 - regression_nra_scoring_icp_int_03.smt2 (Failed)
         2336 - regression_nra_ode_sampling_normal-faulty.smt2 (Failed)
         2530 - regression_nra_ode_cache_dan_06.smt2 (Failed)
         2531 - regression_nra_ode_cache_dan_07.smt2 (Failed)
 Errors while running CTest