detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash3.smt2 (content) timout ok 2m0.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash2.smt2 (content) warn ok 2.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash1.smt2 (content) warn ok 0.552s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/burns.smt2 (content) warn ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/binarySort.smt2 (content) warn ok 0.393s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/berkeley.smt2 (content) warn ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_t.smt2 (content) warn ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_bogus.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_Lamport.smt2 (content) warn ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery.smt2 (content) warn ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/usb_urb-drivers-scsi-dc395x.ko.cil.out_smt-query.0.smt2 (content) ok ok 0.930s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/usb_urb-drivers-media-video-c-qcam.ko.cil.out_smt-query.0.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/module_get_put-drivers-tty-synclink_gt.ko.cil.out_smt-query.0.smt2 (content) ok ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/main7-linux-3.10-rc1-43_1a-bitvector-drivers--net--ethernet--mellanox--mlx4--mlx4_en.ko.cil.out_smt-query.0.smt2 (content) ok ok 0.411s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/main4_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3_smt-query.0.smt2 (content) ok ok 0.425s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/m0_sound-core-oss-snd-mixer-oss-ko--143_7a--506218e_smt-query.0.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--scsi_debug.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.411s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--megaraid--megaraid_sas.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.640s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--amd--amdkfd--amdkfd.ko-entry_point.cil.out_smt-query.0.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---kernel--locking--locktorture.ko.cil_smt-query.1.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---kernel--locking--locktorture.ko.cil_smt-query.0.smt2 (content) ok ok 0.487s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--video--fbdev--s3fb.ko.cil_smt-query.1.smt2 (content) ok ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--video--fbdev--s3fb.ko.cil_smt-query.0.smt2 (content) ok ok 0.279s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--mtd--devices--docg3.ko.cil_smt-query.0.smt2 (content) ok ok 0.426s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-4.0-rc1---drivers--atm--fore_200e.ko.cil_smt-query.0.smt2 (content) ok ok 0.495s