detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_41.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_40.smt2 (content) fatal ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_39.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_38.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_36.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_161.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_160.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_159.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_158.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_157.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_156.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_117.smt2 (content) fatal ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_115.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_114.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_112.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_964.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_877.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_875.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1768.smt2 (content) fatal ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1699.smt2 (content) fatal ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1697.smt2 (content) fatal ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1466.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1457.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1081.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1073.smt2 (content) fatal ok 0.039s