detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product07_true-unreach-call.cil.c.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product06_true-unreach-call.cil.c.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product05_true-unreach-call.cil.c.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product04_true-unreach-call.cil.c.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product03_true-unreach-call.cil.c.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product02_true-unreach-call.cil.c.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.minepump_spec1_product01_true-unreach-call.cil.c.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.merge_sort_true-unreach-call.i.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.merge_sort_false-unreach-call.i.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.mem_slave_tlm.5_true-unreach-call_false-termination.cil.c.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.mem_slave_tlm.4_true-unreach-call_false-termination.cil.c.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.mem_slave_tlm.3_true-unreach-call_false-termination.cil.c.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.mem_slave_tlm.2_true-unreach-call_false-termination.cil.c.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.mem_slave_tlm.1_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.matrix_true-unreach-call_true-termination.i.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.matrix_false-unreach-call_true-termination.i.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main8_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd.c.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main8_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd-1.c.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main7_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd.c.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main7_true-unreach-call_sound-oss-sound-ko--32_7a--c4cb1dd-1.c.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main4_true-unreach-call_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.c.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main4_true-unreach-call_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef-1.c.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main4_false-unreach-call_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3.c.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main3_true-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa-1.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.main3_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa.c.smt2 (content) fatal ok 0.235s