root
file
detailed [5425..5449]
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/bench_ab/a59test0008.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a599test0082.smt2
(content)
ok
ok
0.030s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a58test0007.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a57test0006.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a56test0013.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a55test0003.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a54test0011.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a53test0002.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a52test0012.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a51test0001.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a50test0014.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a503test0089.smt2
(content)
ok
ok
0.031s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a502test0041.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a501test0016.smt2
(content)
ok
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a500test0072.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a4test0001.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a49test0010.smt2
(content)
ok
ok
0.015s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a499test0009.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a498test0015.smt2
(content)
ok
ok
0.016s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a497test0020.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a496test0004.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a495test0008.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a494test0007.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a493test0006.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a492test0022.smt2
(content)
ok
ok
0.028s