detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.296s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.614s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.212s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) warn ok 0.462s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.volatile_alias.c_true-unreach-call_1.i.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.volatile_alias.c_true-unreach-call.i.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.vogal_true-unreach-call.i.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.vogal_false-unreach-call.i.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.verisec_NetBSD-libc__loop_false-unreach-call.i.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.veris.c_NetBSD-libc__loop_true-unreach-call.i.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.113s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.294s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.254s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.112s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.251s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.142s