root
file
detailed [12750..12774]
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/agree34.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree339.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree338.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree337.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree336.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree335.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree334.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree333.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree332.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree331.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree330.smt2
(content)
ok
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree33.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree329.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree328.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree327.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree326.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree325.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree324.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree323.smt2
(content)
ok
ok
0.140s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree322.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree321.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree320.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree32.smt2
(content)
ok
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree319.smt2
(content)
ok
ok
0.179s
dolmen
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree318.smt2
(content)
ok
ok
0.169s