detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.merge_sort_false-unreach-call.i.smt2 (content) warn ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.mem_slave_tlm.5_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.mem_slave_tlm.4_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 10s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.mem_slave_tlm.3_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 1.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.mem_slave_tlm.2_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.596s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.mem_slave_tlm.1_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.210s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.matrix_true-unreach-call_true-termination.i.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.matrix_false-unreach-call_true-termination.i.smt2 (content) warn ok 0.191s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c.smt2 (content) warn ok 2.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_true-unreach-call_drivers-hwmon-ibmpex-ko--130_7a--d631323.c.smt2 (content) warn ok 7.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c.smt2 (content) warn ok 8.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c.smt2 (content) warn ok 0.211s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c.smt2 (content) warn ok 0.164s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.ludcmp_false-unreach-call.i.smt2 (content) warn ok 1.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.list_true-unreach-call.i.smt2 (content) warn ok 0.222s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.list_search_true-unreach-call.i.smt2 (content) warn ok 0.215s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.list_flag_true-unreach-call.i.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.list_flag_false-unreach-call.i.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.list_false-unreach-call.i.smt2 (content) warn ok 0.161s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.kundu_true-unreach-call_false-termination.cil.c.smt2 (content) warn ok 8.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.kundu2_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.480s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.kundu1_false-unreach-call_false-termination.cil.c.smt2 (content) warn ok 0.489s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.jain_5_true-unreach-call.i.smt2 (content) warn ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.invert_string_true-unreach-call.i.smt2 (content) warn ok 0.761s