root
file
detailed [1175..1199]
prev
next
detailed results (330073 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/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