detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_constant_true-unreach-call.c_4.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_constant_true-unreach-call.c_274.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/filter2_true-unreach-call.c_11.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/filter2_set_true-unreach-call.c_11.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_68.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_446.smt2 (content) fatal ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_430.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_422.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_414.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_315.smt2 (content) fatal ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/Muller_Kahan_true-unreach-call.c_179.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_BV/check2/symbols.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt5192927862320386454.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt3204289262029909600.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/QF_AUFLIA/20170829-Rodin/smt1656603882241727713.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI400=1.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI389=1.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI388=1.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI375=1.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI362=1.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI361=1.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/tptp/ARI348=1.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_9.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_80.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_6_8.smt2 (content) fatal ok 0.135s