detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/bist_cell_true-unreach-call_false-termination.cil.c.prep.smt2 (content) ok ok 1m6.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy_true-unreach-call_false-termination.cil.c.smt2 (content) timout ok 2m0.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy2_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 29s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy1_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 48.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pipeline_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 25.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pc_sfifo_2_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1m41.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 12.0s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem09_50_true-unreach-call.c.smt2 (content) ok ok 1m51.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_60_false-unreach-call.c.smt2 (content) ok ok 1m50.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_00_true-unreach-call.c.smt2 (content) ok ok 1m47.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem07_00_true-unreach-call.c.smt2 (content) ok ok 1m13.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_50_true-unreach-call.c.smt2 (content) ok ok 1m44.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_10_true-unreach-call.c.smt2 (content) ok ok 1m24.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_00_false-unreach-call.c.smt2 (content) ok ok 1m23s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem04_40_false-unreach-call.c.smt2 (content) ok ok 1m33.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.ind_k100.smt2 (content) ok ok 1.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.bmc_k100.smt2 (content) ok ok 0.321s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/traffic.bmc_k100.smt2 (content) ok ok 0.327s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/swimmingpool_1.ind_k100.smt2 (content) ok ok 16.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/speed2.ind_k100.smt2 (content) ok ok 3.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_vt.bmc_k100.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_all.ind_k100.smt2 (content) ok ok 14.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/metros_1.bmc_k100.smt2 (content) ok ok 0.588s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/hysteresis_all.bmc_k100.smt2 (content) ok ok 0.352s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/ex3.bmc_k100.smt2 (content) ok ok 0.374s