detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/sum_20x0_true-unreach-call_true-termination.c.smt2 (content) ok ok 0.255s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/sum_15x0_false-unreach-call_true-termination.c.smt2 (content) ok ok 0.293s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/sum_10x0_true-unreach-call_true-termination.c.smt2 (content) ok ok 0.253s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/sum_10x0_false-unreach-call_true-termination.c.smt2 (content) ok ok 0.251s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/parity_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.752s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/overflow_false-unreach-call1.i.smt2 (content) ok ok 0.241s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/num_conversion_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.869s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/modulus_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/jain_5_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.295s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/interleave_bits_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.310s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/20170501-Heizmann-UltimateAutomizer/gcd_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/integers.smt2 (content) ok ok 0.096s
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