detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash3.smt2 (content) timout ok 2m0.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash2.smt2 (content) warn ok 2.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash1.smt2 (content) warn ok 0.542s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/burns.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/binarySort.smt2 (content) warn ok 0.244s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/berkeley.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_t.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_bogus.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery_Lamport.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/bakery.smt2 (content) warn ok 0.102s
dolmen /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.850s
dolmen /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.140s
dolmen /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.246s
dolmen /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.335s
dolmen /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.339s
dolmen /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.144s
dolmen /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.384s
dolmen /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.580s
dolmen /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.192s
dolmen /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.135s
dolmen /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.426s
dolmen /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.139s
dolmen /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.188s
dolmen /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.290s
dolmen /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.374s