detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_srvr_10.cil_smt-query.0.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_srvr_1.cil-1_smt-query.1.smt2 (content) ok ok 0.165s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_4.cil-2_smt-query.1.smt2 (content) ok ok 0.111s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_3.cil-2_smt-query.1.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_3.BV.c.cil-2_smt-query.1.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_2.cil-1_smt-query.1.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_2.BV.c.cil-2_smt-query.1.smt2 (content) ok ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_1.cil-2_smt-query.1.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/s3_clnt_1.BV.c.cil-2_smt-query.1.smt2 (content) ok ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/rule60_list2.c_1_smt-query.1.smt2 (content) ok ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/rule60_list2.c_1_smt-query.0.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/psyco_security_smt-query.0.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/psyco_io_1_smt-query.0.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/phases_2-1_smt-query.1.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/phases_2-1_smt-query.0.smt2 (content) ok ok 0.165s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pc_sfifo_3.cil_smt-query.0.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pc_sfifo_2.cil-2_smt-query.1.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pc_sfifo_2.cil-2_smt-query.0.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pc_sfifo_1.cil-1_smt-query.1.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pc_sfifo_1.cil-1_smt-query.0.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.c.v+nlh-reducer_smt-query.1.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer_smt-query.1.smt2 (content) ok ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.c.p+lhb-reducer_smt-query.0.smt2 (content) ok ok 0.330s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pals_opt-floodmax.5.3.ufo.UNBOUNDED.pals_smt-query.1.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals_smt-query.1.smt2 (content) ok ok 0.144s