root
file
detailed [2100..2124]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.8-rc1-32_7a-drivers--scsi--mpt3sas--mpt3sas.ko-ldv_main4.cil.out_smt-query.0.smt2
(content)
ok
ok
0.503s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_linux-usb-dev_drivers-net-ethernet-via-via-velocity.cil_smt-query.0.smt2
(content)
ok
ok
0.324s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_linux-kernel-locking-mutex_drivers-media-usb-em28xx-em28xx.cil_smt-query.0.smt2
(content)
ok
ok
0.601s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-via-via-velocity.cil_smt-query.0.smt2
(content)
ok
ok
0.319s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-dummy.ko-entry_point.cil.out_smt-query.0.smt2
(content)
ok
ok
0.249s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.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/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.241s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.328s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.241s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--adl_pci7230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.272s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--mtdblock.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.926s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.400s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.675s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.428s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_7a_cilled_linux-3.8-rc1-32_7a-sound--core--oss--snd-mixer-oss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--scsi--be2iscsi--be2iscsi.ko-ldv_main1_sequence_infinite_withcheck_stateful.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/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--media--tuners--tda18271.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.400s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--isdn--hisax--hisax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.560s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.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/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.317s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_AUFBVNIA/20190307-CPAchecker_kInduction-SoSy_Lab/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out_smt-query.0.smt2
(content)
ok
ok
0.242s