detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/m0_drivers-media-radio-si4713-i2c-ko--111_1a--064368f-1_smt-query.1.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/m0_drivers-media-radio-si4713-i2c-ko--111_1a--064368f-1_smt-query.0.smt2 (content) ok ok 0.397s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/m0_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1_smt-query.1.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/m0_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1_smt-query.0.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_search-2_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_search-2_smt-query.0.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_search-1_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_search-1_smt-query.0.smt2 (content) ok ok 0.267s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_flag-1_smt-query.1.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list_and_tree_cnstr-1_smt-query.1.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list-ext_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list-ext_smt-query.0.smt2 (content) ok ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/list-2_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-d47b389-1-32_7a-drivers--media--video--cx88--cx88-blackbird.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-c0cc359-104_1a-drivers--usb--serial--qcserial.ko-entry_point.cil.out_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-c0cc359-1-104_1a-drivers--usb--serial--qcserial.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.1.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-af3071a-1-130_7a-drivers--hwmon--s3c-hwmon.ko-entry_point.cil.out_smt-query.1.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-a9e7fb5-1-32_7a-drivers--media--rc--imon.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-a9e7fb5-1-32_7a-drivers--media--rc--imon.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-a450319-1-144_2a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-9ec4f65-1-110_1a-drivers--rtc--rtc-tegra.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-5fdb450-1-144_2a-drivers--mmc--host--vub300.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-stable-5fdb450-1-144_1a-drivers--mmc--host--vub300.ko-entry_point_ldv-val-v0.8.cil.out_smt-query.0.smt2 (content) ok ok 0.237s