detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_563.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_367.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_366.smt2 (content) fatal ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_365.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_352.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_348.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_344.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_342.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_281.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_850.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_679.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_677.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_219.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1310.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1294.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1289.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1288.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_135.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_960.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1104.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1100.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1098.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1000.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_87.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_79.smt2 (content) fatal ok 0.151s