detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) fatal ok 0.171s
dolmen-strict /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) fatal ok 0.156s
dolmen-strict /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) fatal ok 0.162s
dolmen-strict /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) fatal ok 0.232s
dolmen-strict /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) fatal ok 0.157s
dolmen-strict /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) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex04_true-unreach-call_false-termination.i.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex03_true-unreach-call.i.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex03_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex02_true-unreach-call_true-termination.i.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex02_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex01_true-unreach-call.i.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex01_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.16_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.15_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.235s