root
file
detailed [12625..12649]
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/agree193.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree192.smt2
(content)
ok
ok
0.137s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree191.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree190.smt2
(content)
ok
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree19.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree189.smt2
(content)
ok
ok
0.177s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree188.smt2
(content)
ok
ok
0.132s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree187.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree186.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree184.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree183.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree182.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree181.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree180.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree18.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree179.smt2
(content)
ok
ok
0.178s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree178.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree176.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree175.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree174.smt2
(content)
ok
ok
0.173s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree173.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree172.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree171.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree170.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree17.smt2
(content)
ok
ok
0.138s