detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_all_e3_557_e7_3464.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ticket3i_7_e3_59_e7_2122.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_1_e7_1621.ec.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_1.ec.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_vt.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave40.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave39.ec.smt2 (content) fatal ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave38.ec.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave37.ec.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave36.ec.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave35.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave34.ec.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave33.ec.smt2 (content) fatal ok 0.222s