detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/bist_cell_true-unreach-call_false-termination.cil.c.prep.smt2 (content) ok ok 1m2.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy_true-unreach-call_false-termination.cil.c.smt2 (content) timout ok 2m0.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy2_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 29.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy1_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 42s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pipeline_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 36.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pc_sfifo_2_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1m32.9s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 15.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem09_50_true-unreach-call.c.smt2 (content) ok ok 1m48.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_60_false-unreach-call.c.smt2 (content) ok ok 1m47.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_00_true-unreach-call.c.smt2 (content) ok ok 1m42s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem07_00_true-unreach-call.c.smt2 (content) ok ok 1m3.0s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_50_true-unreach-call.c.smt2 (content) ok ok 1m37.0s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_10_true-unreach-call.c.smt2 (content) ok ok 1m17.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_00_false-unreach-call.c.smt2 (content) ok ok 1m30.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem04_40_false-unreach-call.c.smt2 (content) ok ok 1m32.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.ind_k100.smt2 (content) ok ok 2.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.bmc_k100.smt2 (content) ok ok 0.464s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/traffic.bmc_k100.smt2 (content) ok ok 0.467s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/swimmingpool_1.ind_k100.smt2 (content) ok ok 18s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/speed2.ind_k100.smt2 (content) ok ok 3.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_vt.bmc_k100.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_all.ind_k100.smt2 (content) ok ok 18.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/metros_1.bmc_k100.smt2 (content) ok ok 0.692s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/hysteresis_all.bmc_k100.smt2 (content) ok ok 0.506s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/ex3.bmc_k100.smt2 (content) ok ok 0.543s