detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36.c.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36.c.smt2 (content) warn ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36.c.smt2 (content) warn ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac.c.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-net-myri10ge-myri10ge-ko--138_1a--7cb2521.c.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-net-forcedeth-ko--114_1a--fea891e.c.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-net-forcedeth-ko--114_1a--fea891e-1.c.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.m0_true-unreach-call_drivers-media-video-cx88-cx8802-ko--32_7a--d47b389.c.smt2 (content) warn ok 0.157s
dolmen /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) warn ok 0.188s
dolmen /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) warn ok 0.105s
dolmen /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) warn ok 0.139s
dolmen /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) warn ok 0.151s
dolmen /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) warn ok 0.130s
dolmen /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) warn ok 0.101s
dolmen /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) warn ok 0.103s
dolmen /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) warn ok 1.5s
dolmen /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) warn ok 0.209s
dolmen /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) warn ok 0.147s
dolmen /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) warn ok 0.106s
dolmen /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) warn ok 0.097s
dolmen /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) warn ok 0.097s
dolmen /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) warn ok 0.099s
dolmen /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) warn ok 0.140s
dolmen /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) warn ok 1s
dolmen /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) warn ok 0.576s