detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-sfc-sfc.cil_smt-query.0.smt2 (content) ok ok 0.586s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-oki-semi-pch_gbe-pch_gbe.cil_smt-query.0.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-myricom-myri10ge-myri10ge.cil_smt-query.0.smt2 (content) ok ok 0.334s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-micrel-ksz884x.cil_smt-query.0.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-intel-ixgbe-ixgbe.cil_smt-query.0.smt2 (content) ok ok 0.430s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-intel-igb-igb.cil_smt-query.0.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-intel-e1000e-e1000e.cil_smt-query.0.smt2 (content) ok ok 0.403s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-tulip.cil_smt-query.0.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dec-tulip-de4x5.cil_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-usb-tm6000-tm6000.cil_smt-query.0.smt2 (content) ok ok 0.281s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-usb-em28xx-em28xx-v4l.cil_smt-query.0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-usb-au0828-au0828.cil_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-pci-zoran-zr36067.cil_smt-query.0.smt2 (content) ok ok 0.480s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-pci-bt8xx-bttv.cil_smt-query.0.smt2 (content) ok ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-wireless-mwifiex-mwifiex.cil_smt-query.0.smt2 (content) ok ok 0.392s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-wireless-libertas-libertas.cil_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-sun-niu.cil_smt-query.0.smt2 (content) ok ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-sun-cassini.cil_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-sfc-sfc.cil_smt-query.0.smt2 (content) ok ok 0.508s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-realtek-r8169.cil_smt-query.0.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-intel-ixgbe-ixgbe.cil_smt-query.0.smt2 (content) ok ok 0.402s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-intel-igb-igb.cil_smt-query.0.smt2 (content) ok ok 0.361s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-intel-e1000e-e1000e.cil_smt-query.0.smt2 (content) ok ok 0.407s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-tm6000-tm6000.cil_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-usb-em28xx-em28xx.cil_smt-query.0.smt2 (content) ok ok 0.320s