search

soonhokong / dreal3

New NRA implementation
GNU General Public License v3.0
0 stars 0 forks source link

test failures #1

Open soonhokong opened 9 years ago

soonhokong commented 9 years ago 
contractor_ibex ....................................................***Failed    1.83 sec
ibex_defaultoptimizer ..............................................***Failed    0.95 sec
regression_drh_bouncing_ball.drh ...................................***Failed    0.60 sec
regression_nra_ncbt_exist_forall_zenna_01.smt2 .....................***Failed    2.02 sec
regression_nra_ncbt_exist_forall_zenna_03.smt2 .....................***Failed    1.82 sec
regression_nra_ncbt_push_pop_04.smt2 ...............................***Failed  180.29 sec
regression_nra_normal_push_pop_04.smt2 .............................***Failed  159.12 sec
regression_nra_ode_sampling_airplane-single_2.smt2 .................***Failed    5.93 sec
regression_nra_ode_sampling_dan_02.smt2 ............................***Failed    0.33 sec
regression_nra_ode_sampling_dan_03.smt2 ............................***Failed    0.91 sec
regression_nra_ode_sampling_pzuliani_02.smt2 .......................***Failed   39.33 sec
regression_nra_ode_sampling_simple_par.smt2 ........................***Failed    1.86 sec
regression_nra_tp_push_pop_04.smt2 .................................***Failed  160.45 sec
regression_nra_worklist_fp_push_pop_04.smt2 ........................***Failed  239.84 sec
soonhokong commented 9 years ago

TODO

ibex_defaultoptimizer ..............................................***Failed    0.42 sec
regression_drh_bouncing_ball.drh ...................................***Failed    0.54 sec
regression_nra_ncbt_exist_forall_zenna_01.smt2 .....................***Failed    0.41 sec
regression_nra_ncbt_exist_forall_zenna_03.smt2 .....................***Failed    0.63 sec

sampling

regression_nra_ode_sampling_airplane-single_2.smt2 .................***Failed    2.65 sec
regression_nra_ode_sampling_dan_02.smt2 ............................***Failed    0.63 sec
regression_nra_ode_sampling_dan_03.smt2 ............................***Failed    0.32 sec
regression_nra_ode_sampling_simple_par.smt2 ........................***Failed    0.42 sec

push_pop_04

regression_nra_ncbt_push_pop_04.smt2 ...............................***Failed   75.73 sec
regression_nra_normal_push_pop_04.smt2 .............................***Failed   75.44 sec
regression_nra_short_sat_push_pop_04.smt2 ..........................***Failed   17.05 sec
regression_nra_tp_push_pop_04.smt2 .................................***Failed   76.19 sec
regression_nra_worklist_fp_push_pop_04.smt2 ........................***Failed   95.84 sec

Fixed

contractor_ibex ....................................................***Failed    0.11 sec
regression_nra_ode_normal_new_cardiac_8m_47_0.smt2 .................***Failed  120.94 sec
regression_nra_ode_normal_new_cardiac_8m_55_0.smt2 .................***Failed  143.46 sec
regression_nra_ode_sampling_new_cardiac_8m_47_0.smt2 ...............***Failed  119.43 sec
regression_nra_ode_sampling_new_cardiac_8m_55_0.smt2 ...............***Failed  142.75 sec
regression_nra_ode_short_sat_new_cardiac_8m_47_0.smt2 ..............***Failed  119.84 sec
regression_nra_ode_short_sat_new_cardiac_8m_55_0.smt2 ..............***Failed  143.34 sec
regression_nra_ode_worklist_fp_new_cardiac_8m_47_0.smt2 ............***Failed   60.01 sec
regression_nra_ode_worklist_fp_new_cardiac_8m_55_0.smt2 ............***Failed   71.43 sec