detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--gigaset--usb_gigaset.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--gigaset--bas_gigaset.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.657s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.12-rc1.tar.xz-144_2a-drivers--input--touchscreen--usbtouchscreen.ko-entry_point.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-3.12-rc1.tar.xz-144_2a-drivers--input--misc--ims-pcu.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.12-rc1.tar.xz-08_1a-drivers--staging--comedi--comedi.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.10-rc1-43_1a-bitvector-drivers--net--ethernet--broadcom--b44.ko--ldv_main0.cil.out_smt-query.0.smt2 (content) ok ok 0.409s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/linear_search_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr.i.cil-2_smt-query.1.smt2 (content) ok ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/kbfiltr.i.cil-2_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/invert_string-1_smt-query.1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/insertion_sort-1_smt-query.1.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/inner_structure_field_true-unreach-label.c.files_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/indirect_assignment_true-unreach-label.i.files_smt-query.0.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/high_degree_of_indirection_true-unreach-label.i.files_smt-query.0.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/function_pointer_false-unreach-label.c.files_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/function_pointer_delegated_call_false-unreach-label.c.files_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/floppy2.i.cil_smt-query.0.smt2 (content) ok ok 0.329s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/floppy.i.cil-1_smt-query.1.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/floppy.i.cil-1_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll_nullified-1_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll-token-2_smt-query.1.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll-token-2_smt-query.0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll-token-1_smt-query.0.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll-sorted-1_smt-query.1.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/20190307-CPAchecker_kInduction-SoSy_Lab/dll-simple-white-blue-1_smt-query.1.smt2 (content) ok ok 0.242s