detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1067.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1063.smt2 (content) fatal ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_72.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_70.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_154.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_139.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_110.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i_54.smt2 (content) fatal ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_574.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_563.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_367.smt2 (content) fatal ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_366.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_365.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_352.smt2 (content) fatal ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_348.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_344.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_342.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_281.smt2 (content) fatal ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_850.smt2 (content) fatal ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_679.smt2 (content) fatal ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_677.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_219.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1310.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1294.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1289.smt2 (content) fatal ok 0.035s