root
file
detailed [5775..5799]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand256.smt2
(content)
ok
ok
0.339s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand128.smt2
(content)
ok
ok
0.168s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand064.smt2
(content)
ok
ok
0.085s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand032.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand016.smt2
(content)
ok
ok
0.042s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxand008.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtnoifinvalidvc.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtnoif.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtinvalidvc.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrteqcheck.smt2
(content)
ok
ok
0.022s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtaddnoifinvalidvc.smt2
(content)
ok
ok
0.060s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtaddnoif.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtaddinvalidvc.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtaddeqcheck.smt2
(content)
ok
ok
0.043s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrtadd.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/isqrt.smt2
(content)
ok
ok
0.056s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/icbrtorinvalidvc.smt2
(content)
ok
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/icbrtor.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/icbrtinvalidvc.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/icbrteqcheck.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/icbrt.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw1024.smt2
(content)
ok
ok
0.707s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0896.smt2
(content)
ok
ok
0.670s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0768.smt2
(content)
ok
ok
0.539s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0640.smt2
(content)
ok
ok
0.460s