detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.veris.c_NetBSD-libc__loop_true-unreach-call.i.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.426s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 1.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.436s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 1.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.461s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 0.384s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.toy_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.849s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.toy2_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.285s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.toy1_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.382s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.15_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 2.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.14_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.13_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.13_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 2.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.12_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 2.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.12_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.11_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 4.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.11_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.10_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 6.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.10_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.09_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 5.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.09_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.token_ring.08_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 4s