root
file
detailed [12900..12924]
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/agreement/agree78.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree77.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree76.smt2
(content)
ok
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree75.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree74.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree73.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree72.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree71.smt2
(content)
ok
ok
0.178s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree70.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree7.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree69.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree68.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree67.smt2
(content)
ok
ok
0.105s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree66.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree65.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree64.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree63.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree62.smt2
(content)
ok
ok
0.149s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree61.smt2
(content)
ok
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree60.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree6.smt2
(content)
ok
ok
0.173s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree59.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree58.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree57.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree56.smt2
(content)
ok
ok
0.097s