root
file
detailed [1375..1399]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/string-1_smt-query.0.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/splice-1_smt-query.1.smt2
(content)
ok
ok
0.109s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_to_dll_rev-1_smt-query.1.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_to_dll_rev-1_smt-query.0.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_of_sll_nondet_append-2_smt-query.0.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_of_sll_nondet_append-1_smt-query.0.smt2
(content)
ok
ok
0.256s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_nondet_insert-1_smt-query.1.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll_length_check-1_smt-query.1.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-token-2_smt-query.0.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-token-1_smt-query.1.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-token-1_smt-query.0.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-sorted-2_smt-query.1.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-sorted-1_smt-query.1.smt2
(content)
ok
ok
0.093s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-simple-white-blue-2_smt-query.1.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-simple-white-blue-2_smt-query.0.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/sll-reverse_simple_smt-query.1.smt2
(content)
ok
ok
0.142s
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