detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-5742d35-1-136_1a-drivers--usb--serial--ti_usb_3410_5052.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point.cil.out_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.324s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_fs-nfs-blocklayout-blocklayoutdriver.cil_smt-query.0.smt2 (content) ok ok 0.251s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-wireless-cw1200-cw1200_wlan_spi.cil_smt-query.0.smt2 (content) ok ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-smsc-smsc911x.cil_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-dnet.cil_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-can-softing-softing.cil_smt-query.0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-rc-nuvoton-cir.cil_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-micrel-ks8851.cil_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-smsc-smsc911x.cil_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-ethoc.cil_smt-query.0.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-cadence-macb.cil_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--hisax--hisax_st5481.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kundu2.cil_smt-query.1.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kundu1.cil_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr_simpl2.cil-2_smt-query.1.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr_simpl2.cil-2_smt-query.0.smt2 (content) ok ok 0.257s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr_simpl2.cil-1_smt-query.0.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr_simpl1.cil_smt-query.0.smt2 (content) ok ok 0.358s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/integerpromotion-3_smt-query.1.smt2 (content) ok ok 0.257s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/integerpromotion-3_smt-query.0.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/implicitunsignedconversion-1_smt-query.1.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/implicitunsignedconversion-1_smt-query.0.smt2 (content) ok ok 0.390s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/20190307-CPAchecker_kInduction-SoSy_Lab/id_trans_smt-query.1.smt2 (content) ok ok 0.242s