detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling141.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling140.smt2 (content) fatal ok 0.321s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling139.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling138.smt2 (content) fatal ok 0.258s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling130.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling120.smt2 (content) fatal ok 0.433s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling110.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling105.smt2 (content) fatal ok 0.346s
dolmen-strict /home/guillaume/bench/smtlib/QF_IDL/bcnscheduling/bcnscheduling100.smt2 (content) fatal ok 0.258s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/schanda/spark/zeros_consistent_3.smt2 (content) fatal ok 0.253s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/schanda/spark/zeros_consistent_1.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Newton_pseudoconstant_true-unreach-call.c_1.smt2 (content) fatal ok 1.5s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c_3.smt2 (content) fatal ok 1s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_4.smt2 (content) fatal ok 1.7s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_3.smt2 (content) fatal ok 1.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_2.smt2 (content) fatal ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_1.smt2 (content) fatal ok 0.630s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0873a_true-unreach-call.c_3.smt2 (content) fatal ok 1.7s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0490a_true-unreach-call.c_9.smt2 (content) fatal ok 1s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0490a_true-unreach-call.c_10.smt2 (content) fatal ok 0.861s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0490a_true-unreach-call.c_0.smt2 (content) fatal ok 1.8s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0470_true-unreach-call.c_12.smt2 (content) fatal ok 0.522s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0250b_true-unreach-call.c_4.smt2 (content) fatal ok 1.3s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0874_true-unreach-call.c_3.smt2 (content) fatal ok 0.812s
dolmen-strict /home/guillaume/bench/smtlib/QF_FPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0870b_true-unreach-call.c_3.smt2 (content) fatal ok 0.259s