detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/toy1.cil_smt-query.1.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.14.cil_smt-query.1.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.11.cil-1_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.10.cil-1_smt-query.1.smt2 (content) ok ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.09.cil-2_smt-query.1.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.08.cil-2_smt-query.1.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.07.cil-2_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.06.cil-1_smt-query.1.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.05.cil-2_smt-query.1.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.04.cil-2_smt-query.1.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.03.cil-1_smt-query.1.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.02.cil-2_smt-query.1.smt2 (content) ok ok 0.256s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/token_ring.01.cil-2_smt-query.1.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_while_int_smt-query.1.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_while_int.c_1_smt-query.1.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_9_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_8_smt-query.0.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_7_smt-query.0.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_6_smt-query.0.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_5_smt-query.0.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_15-2_smt-query.0.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_15-1_smt-query.1.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_15-1_smt-query.0.smt2 (content) ok ok 0.288s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_14-2_smt-query.1.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/test_locks_14-2_smt-query.0.smt2 (content) ok ok 0.235s