root
file
detailed [9825..9849]
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/sage/app1/bench_281.smt2
(content)
ok
ok
0.267s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_280.smt2
(content)
ok
ok
0.202s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_28.smt2
(content)
ok
ok
0.201s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_279.smt2
(content)
ok
ok
0.159s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_278.smt2
(content)
ok
ok
0.158s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_277.smt2
(content)
ok
ok
0.121s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_276.smt2
(content)
ok
ok
0.135s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_275.smt2
(content)
ok
ok
0.172s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_274.smt2
(content)
ok
ok
0.144s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_273.smt2
(content)
ok
ok
0.150s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_272.smt2
(content)
ok
ok
0.123s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_271.smt2
(content)
ok
ok
0.153s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_270.smt2
(content)
ok
ok
0.214s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_27.smt2
(content)
ok
ok
0.161s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_269.smt2
(content)
ok
ok
0.158s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_268.smt2
(content)
ok
ok
0.145s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2676.smt2
(content)
ok
ok
0.163s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2675.smt2
(content)
ok
ok
0.155s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2674.smt2
(content)
ok
ok
0.156s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2673.smt2
(content)
ok
ok
0.161s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2672.smt2
(content)
ok
ok
0.151s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2671.smt2
(content)
ok
ok
0.181s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2670.smt2
(content)
ok
ok
0.184s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_267.smt2
(content)
ok
ok
0.032s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2669.smt2
(content)
ok
ok
0.199s