detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-video-cx88-cx88-dvb-ko--32_7a--d47b389.c.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-video-cx88-cx88-dvb-ko--32_7a--d47b389-1.c.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389.c.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-video-cx88-cx88-blackbird-ko--32_7a--d47b389-1.c.smt2 (content) fatal ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5.c.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-radio-si4713-i2c-ko--111_1a--064368f.c.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a.c.smt2 (content) fatal ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-hwmon-ibmpex-ko--130_7a--d631323.c.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36-1.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c.smt2 (content) fatal ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-net-b44-ko--114_1a--073676f-1.c.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-media-radio-si4713-i2c-ko--111_1a--064368f-1.c.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.ludcmp_false-unreach-call.i.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.lu.cmp_true-unreach-call.i.smt2 (content) fatal ok 0.243s