detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.4.c.smt2 (content) fatal ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.3.c.smt2 (content) fatal ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.4.c.smt2 (content) fatal ok 0.372s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.3.c.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.2.c.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.1.c.smt2 (content) fatal ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.3.c.smt2 (content) fatal ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.2.c.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.parport_false-unreach-call.i.cil.c.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.floppy_false-unreach-call.i.cil.c.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.diskperf_false-unreach-call.i.cil.c.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_9_9.smt2 (content) fatal ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_9_19.smt2 (content) fatal ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_9_14.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_8_8.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_8_18.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_8_13.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_7_7.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_7_17.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_7_12.smt2 (content) fatal ok 0.153s