detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.245s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex04_true-unreach-call_false-termination.i.smt2 (content) warn ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex01_true-unreach-call.i.smt2 (content) warn ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.358s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy2_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.toy1_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.15_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.290s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.14_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.13_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.295s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.267s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.12_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.259s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.719s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.11_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.287s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.10_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.976s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.10_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.231s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.09_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.09_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.200s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.08_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.463s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.08_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.token_ring.07_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.687s