root
file
detailed [13100..13124]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german89.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german88.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german87.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german86.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german85.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german84.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german83.smt2
(content)
ok
ok
0.181s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german82.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german81.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german80.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german8.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german79.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german78.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german77.smt2
(content)
ok
ok
0.102s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german76.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german75.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german74.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german73.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german72.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german71.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german70.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german7.smt2
(content)
ok
ok
0.173s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german69.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german68.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german67.smt2
(content)
ok
ok
0.090s