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-32_7a-drivers--scsi--esas2r--esas2r.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.239s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--aic7xxx--aic7xxx.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.346s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--aic7xxx--aic79xx.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.377s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--3w-9xxx.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.195s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rtlwifi--rtl8821ae--rtl8821ae.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwl8k.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwifiex--mwifiex.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.380s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--libertas--libertas.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--iwlwifi--iwlwifi.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.287s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-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-32_7a-drivers--net--ethernet--sfc--sfc.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.808s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--ixgbe--ixgbe.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.577s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-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-32_7a-drivers--net--ethernet--intel--e1000--e1000.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.233s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--chelsio--cxgb3--cxgb3.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.221s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--misc--vmw_vmci--vmw_vmci.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--misc--sgi-gru--gru.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--media--v4l2-core--videodev.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.325s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--tm6000--tm6000.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--pvrusb2--pvrusb2.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.280s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.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-32_7a-drivers--md--md-mod.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.473s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-raid.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-32_7a-drivers--md--dm-cache.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.199s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--infiniband--ulp--isert--ib_isert.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.140s