detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_true-unreach-call.i.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_longer_true-unreach-call.i.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_longer_false-unreach-call.i.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_false-unreach-call.i.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_60_false-unreach-call.c.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_60_false-unreach-call.c.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_50_true-unreach-call.c.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_10_true-unreach-call.c.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_00_true-unreach-call.c.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.4.c.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.3.c.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.3.c.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/Urban_true-termination.c_Iteration1_Loop_affineTemplate.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig7b_true-termination.c_Iteration1_Loop_3-nestedTemplate.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_NRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig7b_true-termination.c_Iteration1_Loop_2-nestedTemplate.smt2 (content) timout ok 1m0.5s
dolmen /home/guillaume/bench/smtlib/QF_NIA/20170427-VeryMax/ITS/From_T2__apchild-accepted.t2_fixed__p16184_edge_closing_0.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_NIA/20170427-VeryMax/ITS/From_T2__apchild-accepted.t2_fixed__p16183_edge_closing_0.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_NIA/20170427-VeryMax/ITS/From_T2__apchild-accepted.t2_fixed__p16182_edge_closing_0.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/31.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/29.800.graph.smt2 (content) timout ok 1m0.3s