root
file
detailed [2425..2449]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german84.smt2
(content)
warn
ok
0.183s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german83.smt2
(content)
warn
ok
0.188s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german82.smt2
(content)
warn
ok
0.306s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german81.smt2
(content)
warn
ok
0.140s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german80.smt2
(content)
warn
ok
0.151s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german8.smt2
(content)
warn
ok
0.247s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german79.smt2
(content)
warn
ok
0.242s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german78.smt2
(content)
warn
ok
0.199s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german77.smt2
(content)
warn
ok
0.140s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german76.smt2
(content)
warn
ok
0.249s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german75.smt2
(content)
warn
ok
0.431s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german74.smt2
(content)
warn
ok
0.253s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german73.smt2
(content)
warn
ok
0.285s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german72.smt2
(content)
warn
ok
0.186s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german71.smt2
(content)
warn
ok
0.243s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german70.smt2
(content)
warn
ok
0.253s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german7.smt2
(content)
warn
ok
0.140s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german69.smt2
(content)
warn
ok
0.145s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german68.smt2
(content)
warn
ok
0.219s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german67.smt2
(content)
warn
ok
0.183s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german66.smt2
(content)
warn
ok
0.179s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german65.smt2
(content)
warn
ok
0.306s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german64.smt2
(content)
warn
ok
0.247s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german63.smt2
(content)
warn
ok
0.283s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german62.smt2
(content)
warn
ok
0.150s