root
file
detailed [11400..11424]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.13_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.312s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.12_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.327s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.11_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.313s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.10_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.09_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.08_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.07_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.270s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.06_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.244s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.05_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.244s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.04_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.03_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.02_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.01_false-unreach-call_false-termination.cil.c.smt2
(content)
ok
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy_true-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.241s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy2_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy1_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.165s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.15_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.14_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_true-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.247s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.243s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_true-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_true-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.239s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_false-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.10_true-unreach-call_false-termination.cil.c.smt2
(content)
fatal
ok
0.250s