detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main1_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_smt-query.0.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main15_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3_smt-query.1.smt2 (content) ok ok 0.194s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main15_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3_smt-query.0.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main0_drivers-net-wireless-mwl8k-ko---32_7a--linux-3.7.3_smt-query.0.smt2 (content) ok ok 0.850s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa_smt-query.0.smt2 (content) ok ok 0.202s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_smt-query.1.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_smt-query.0.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.350s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-8a9f335-1-32_7a-drivers--net--wireless--ath--carl9170--carl9170.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.341s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-4ee267b-1-130_7a-drivers--hwmon--ibmaem.ko-entry_point_ldv-val-v0.8.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-stable-4a349aa-1-32_7a-drivers--media--video--tlg2300--poseidon.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-4a349aa-1-32_7a-drivers--media--video--tlg2300--poseidon.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.230s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-073676f-1-114_1a-drivers--net--b44.ko-entry_point_ldv-val-v0.8.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-stable-073676f-1-114_1a-drivers--net--b44.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--xen--xen-pciback--xen-pciback.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.242s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--video--fbdev--via--viafb.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-43_2a-drivers--usb--class--cdc-acm.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--tty--synclink_gt.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-43_2a-drivers--staging--speakup--speakup.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.694s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdecho--obdecho.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lnet--selftest--lnet_selftest.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-43_2a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--st.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--qla4xxx--qla4xxx.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 1.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--mpt3sas--mpt3sas.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.129s