detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/UFLRA/asasp/empty/bench_1_1_14_empty.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/UFLRA/asasp/empty/bench_1_1_13_empty.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/UFLRA/asasp/empty/bench_1_1_12_empty.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/UFLRA/asasp/empty/bench_1_1_11_empty.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/UFLRA/asasp/empty/bench_1_1_10_empty.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFNIA/UltimateLTLAutomizer/Problem16_prop_001.c.smt2 (content) ok ok 5.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.16_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.436s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.15_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.348s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.13_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.12_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.11_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.10_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.09_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.903s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.08_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.845s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.07_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.596s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.05_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.359s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.04_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.353s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.03_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.02_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.310s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.transmitter.01_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 0.163s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_srvr_1a_true-unreach-call.cil.c.smt2 (content) ok ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_false-unreach-call.i.smt2 (content) ok ok 0.172s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.04_true-unreach-call.i.cil.c.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.04_false-unreach-call.i.cil.c.smt2 (content) ok ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.s3_clnt.blast.03_true-unreach-call.i.cil.c.smt2 (content) ok ok 0.190s