root
file
detailed [16475..16499]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german82.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german81.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german80.smt2
(content)
ok
ok
0.317s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german8.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german79.smt2
(content)
ok
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german78.smt2
(content)
ok
ok
0.318s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german77.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german76.smt2
(content)
ok
ok
0.230s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german75.smt2
(content)
ok
ok
0.307s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german74.smt2
(content)
ok
ok
0.382s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german73.smt2
(content)
ok
ok
0.313s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german72.smt2
(content)
ok
ok
0.311s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german71.smt2
(content)
ok
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german70.smt2
(content)
ok
ok
0.315s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german7.smt2
(content)
ok
ok
0.242s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german69.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german68.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german67.smt2
(content)
ok
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german66.smt2
(content)
ok
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german65.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german64.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german63.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german62.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german61.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german60.smt2
(content)
ok
ok
0.235s