detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--ast--ast.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--amd--amdgpu--amdgpu.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.516s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--char--raw.ko-entry_point.cil.out_smt-query.1.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--char--agp--amd64-agp.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--atm--atmtcp.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---sound--drivers--vx--snd-vx-lib.ko.cil_smt-query.0.smt2 (content) ok ok 0.241s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---sound--core--seq--oss--snd-seq-oss.ko.cil_smt-query.1.smt2 (content) ok ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---sound--core--seq--oss--snd-seq-oss.ko.cil_smt-query.0.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---net--netfilter--nfnetlink_log.ko.cil_smt-query.0.smt2 (content) ok ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--yurex.ko.cil_smt-query.1.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--yurex.ko.cil_smt-query.0.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--legousbtower.ko.cil_smt-query.1.smt2 (content) ok ok 0.156s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--legousbtower.ko.cil_smt-query.0.smt2 (content) ok ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--iowarrior.ko.cil_smt-query.1.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--misc--iowarrior.ko.cil_smt-query.0.smt2 (content) ok ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--usb--class--cdc-wdm.ko.cil_smt-query.0.smt2 (content) ok ok 0.231s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--staging--dgnc--dgnc.ko.cil_smt-query.0.smt2 (content) ok ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--nfc--port100.ko.cil_smt-query.1.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--nfc--port100.ko.cil_smt-query.0.smt2 (content) ok ok 0.160s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--wireless--rtl818x--rtl8180--rtl818x_pci.ko.cil_smt-query.0.smt2 (content) ok ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--wireless--ath--ar5523--ar5523.ko.cil_smt-query.0.smt2 (content) ok ok 0.331s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--usb--kaweth.ko.cil_smt-query.0.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--ethernet--icplus--ipg.ko.cil_smt-query.0.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--ethernet--dec--tulip--dmfe.ko.cil_smt-query.0.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--ethernet--amd--amd8111e.ko.cil_smt-query.0.smt2 (content) ok ok 0.161s