detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-reverse_simple_smt-query.0.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-sentinel-2_smt-query.0.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-sentinel-1_smt-query.1.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-sentinel-1_smt-query.0.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-cnstr_1-2_smt-query.1.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-cnstr_1-2_smt-query.0.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-rb-cnstr_1-1_smt-query.0.smt2 (content) ok ok 0.165s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-queue-2_smt-query.0.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-queue-1_smt-query.1.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-queue-1_smt-query.0.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-optional-2_smt-query.1.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-optional-2_smt-query.0.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-optional-1_smt-query.1.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-circular-2_smt-query.1.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-circular-2_smt-query.0.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-circular-1_smt-query.1.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-circular-1_smt-query.0.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-buckets-2_smt-query.1.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-buckets-2_smt-query.0.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-buckets-1_smt-query.1.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-buckets-1_smt-query.0.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-01-2_smt-query.0.smt2 (content) ok ok 0.106s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-01-1_smt-query.1.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-01-1_smt-query.0.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/simple_search_value-2_smt-query.1.smt2 (content) ok ok 0.150s