detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propLnExp2.smt2 (content) fatal ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propLnExp1.smt2 (content) fatal ok 1.0s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propLnExp0.smt2 (content) fatal ok 2.5s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propExpLn3.smt2 (content) fatal ok 0.536s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propExpLn2.smt2 (content) fatal ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propExpLn1.smt2 (content) fatal ok 1.4s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/propExpLn0.smt2 (content) fatal ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/maxReward.smt2 (content) fatal ok 1.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/lnLaw.smt2 (content) fatal ok 0.981s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/expLaw.smt2 (content) fatal ok 1.5s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/expInUnit2.smt2 (content) fatal ok 2.2s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/2019-Gudemann/expInUnit.smt2 (content) fatal ok 2s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c_372.smt2 (content) fatal ok 0.461s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c_2.smt2 (content) fatal ok 0.517s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20170501-Heizmann-UltimateAutomizer/filter2_reinit_true-unreach-call.c_7.smt2 (content) fatal ok 0.454s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20170501-Heizmann-UltimateAutomizer/cos_polynomial_true-unreach-call.c_9.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_FP/schanda/spark/zeros_consistent_4.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_FP/schanda/spark/zeros_consistent_2.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_8_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_7_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_6_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_5_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_5_true-unreach-call_true-termination.i_0.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_4_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_3_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.091s