root
file
detailed [15900..15924]
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/agreement/agree188.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree187.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree186.smt2
(content)
ok
ok
0.325s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree184.smt2
(content)
ok
ok
0.311s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree183.smt2
(content)
ok
ok
0.230s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree182.smt2
(content)
ok
ok
0.239s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree181.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree180.smt2
(content)
ok
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree18.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree179.smt2
(content)
ok
ok
0.239s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree178.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree176.smt2
(content)
ok
ok
0.243s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree175.smt2
(content)
ok
ok
0.321s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree174.smt2
(content)
ok
ok
0.314s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree173.smt2
(content)
ok
ok
0.315s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree172.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree171.smt2
(content)
ok
ok
0.231s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree170.smt2
(content)
ok
ok
0.248s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree17.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree168.smt2
(content)
ok
ok
0.264s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree167.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree166.smt2
(content)
ok
ok
0.165s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree165.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree164.smt2
(content)
ok
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree163.smt2
(content)
ok
ok
0.236s