detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_157.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_156.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_117.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_115.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_114.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_112.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_964.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_877.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_875.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1768.smt2 (content) fatal ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1699.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1697.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1466.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1457.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1081.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1073.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1067.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c_1063.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_72.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_70.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_154.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_139.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c_110.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i_54.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i_574.smt2 (content) fatal ok 0.137s