root
file
detailed [3025..3049]
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/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
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0512.smt2
(content)
ok
ok
0.421s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0384.smt2
(content)
ok
ok
0.315s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0256.smt2
(content)
ok
ok
0.189s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0128.smt2
(content)
ok
ok
0.112s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0064.smt2
(content)
ok
ok
0.075s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov2bw0032.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw256.smt2
(content)
ok
ok
0.206s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw224.smt2
(content)
ok
ok
0.178s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw192.smt2
(content)
ok
ok
0.175s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw160.smt2
(content)
ok
ok
0.151s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw128.smt2
(content)
ok
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere2/umulov1bw112.smt2
(content)
ok
ok
0.158s