detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_50_true-unreach-call.c.smt2 (content) ok ok 3.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_40_false-unreach-call.c.smt2 (content) ok ok 3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_30_false-unreach-call.c.smt2 (content) ok ok 3.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_20_true-unreach-call.c.smt2 (content) ok ok 3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_10_true-unreach-call.c.smt2 (content) ok ok 3.0s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_00_false-unreach-call.c.smt2 (content) ok ok 2.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem04_40_false-unreach-call.c.smt2 (content) ok ok 3.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_50_false-unreach-call.c.smt2 (content) ok ok 0.735s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_20_true-unreach-call.c.smt2 (content) ok ok 0.408s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem03_00_true-unreach-call.c.smt2 (content) ok ok 0.415s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_60_false-unreach-call.c.smt2 (content) ok ok 0.220s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem02_50_false-unreach-call.c.smt2 (content) ok ok 0.220s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_50_false-unreach-call.c.smt2 (content) ok ok 0.198s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem01_20_false-unreach-call.c.smt2 (content) ok ok 0.255s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.while_infinite_loop_3_true-unreach-call_false-termination.i.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.while_infinite_loop_2_true-unreach-call_false-termination.i.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.while_infinite_loop_1_true-unreach-call_false-termination.i.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex03_true-unreach-call.i.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex03_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex02_true-unreach-call_true-termination.i.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex02_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.trex01_false-unreach-call_true-termination.i.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.16_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.transmitter.15_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.160s