root
file
detailed [3050..3074]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxxor008.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor256.smt2
(content)
ok
ok
0.435s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor128.smt2
(content)
ok
ok
0.226s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor064.smt2
(content)
ok
ok
0.120s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor032.smt2
(content)
ok
ok
0.102s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor016.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxor008.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor256.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor128.smt2
(content)
ok
ok
0.342s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor064.smt2
(content)
ok
ok
0.148s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor032.smt2
(content)
ok
ok
0.086s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor016.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/maxandminor008.smt2
(content)
ok
ok
0.026s
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