root
file
detailed [1725..1749]
prev
next
detailed results (9793 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80095.cvc.smt2
(content)
fatal
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80094.cvc.smt2
(content)
fatal
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80093.cvc.smt2
(content)
fatal
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80092.cvc.smt2
(content)
fatal
ok
0.093s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80091.cvc.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80090.cvc.smt2
(content)
fatal
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80089.cvc.smt2
(content)
fatal
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80088.cvc.smt2
(content)
fatal
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80087.cvc.smt2
(content)
fatal
ok
0.093s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80086.cvc.smt2
(content)
fatal
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80085.cvc.smt2
(content)
fatal
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80084.cvc.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80083.cvc.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80082.cvc.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80081.cvc.smt2
(content)
fatal
ok
0.152s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80080.cvc.smt2
(content)
fatal
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80079.cvc.smt2
(content)
fatal
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80078.cvc.smt2
(content)
fatal
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80077.cvc.smt2
(content)
fatal
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80076.cvc.smt2
(content)
fatal
ok
0.095s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80075.cvc.smt2
(content)
fatal
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80074.cvc.smt2
(content)
fatal
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80073.cvc.smt2
(content)
fatal
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80072.cvc.smt2
(content)
fatal
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80071.cvc.smt2
(content)
fatal
ok
0.089s