detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--team--team.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--sfc--sfc.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.821s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--ixgbe--ixgbe.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.598s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--igb--igb.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.295s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--e1000e--e1000e.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 2.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--e1000--e1000.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.240s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--chelsio--cxgb3--cxgb3.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.247s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--cavium--liquidio--liquidio.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.340s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--mtd.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--misc--vmw_vmci--vmw_vmci.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--message--fusion--mptbase.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.196s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--md--dm-cache.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--infiniband--core--ib_uverbs.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--drm.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.692s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--crypto--qat--qat_common--intel_qat.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--char--ipmi--ipmi_msghandler.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--block--loop.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-08_1a-drivers--ata--libata.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 2.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--scsi--megaraid.ko.cil_smt-query.0.smt2 (content) ok ok 0.290s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko.cil_smt-query.0.smt2 (content) ok ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--net--ethernet--ethoc.ko.cil_smt-query.0.smt2 (content) ok ok 0.240s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--block--paride--pf.ko.cil_smt-query.0.smt2 (content) ok ok 0.135s