root
file
detailed [50..62]
prev
next
detailed results (63 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-5.smt2
(content)
memout
ok
38.3s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-9.smt2
(content)
memout
ok
19s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-10.smt2
(content)
memout
ok
2.7s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-3.smt2
(content)
memout
ok
6.2s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-4.smt2
(content)
memout
ok
6.4s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-3.smt2
(content)
memout
ok
24.8s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-6.smt2
(content)
memout
ok
7.1s
dolmen
/home/guillaume/bench/smtlib/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-5.smt2
(content)
memout
ok
15.7s
dolmen
/home/guillaume/bench/smtlib/QF_RDL/SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2
(content)
memout
ok
12s
dolmen
/home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/openbsd_cstrstr-alloca_true-termination.c.i_Iteration8_Lasso+nonterminationTemplate.smt2
(content)
memout
ok
28.1s
dolmen
/home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/flag-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2
(content)
memout
ok
5s
dolmen
/home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/c.03-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2
(content)
memout
ok
24.2s
dolmen
/home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/b.17-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2
(content)
memout
ok
24.1s