detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/MESI_all.bmc_k100.smt2 (content) ok ok 0.587s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/ILLINOIS_all.bmc_k100.smt2 (content) ok ok 0.868s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/FIREFLY_rt.ind_k100.smt2 (content) ok ok 12.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/FIREFLY_rt.bmc_k100.smt2 (content) ok ok 0.705s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/DRAGON_all2.ind_k100.smt2 (content) ok ok 22.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/DRAGON_all.bmc_k100.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy.c.kratos.int.ind_k100.smt2 (content) ok ok 59.0s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy.c.kratos.int.bmc_k100.smt2 (content) ok ok 11.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy-bug-2.c.kratos.int.ind_k100.smt2 (content) ok ok 1m0.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy-bug-2.c.kratos.int.bmc_k100.smt2 (content) ok ok 10.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy-bug-1.c.kratos.int.ind_k100.smt2 (content) ok ok 1m0.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/toy-bug-1.c.kratos.int.bmc_k100.smt2 (content) ok ok 10.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pipeline.c.kratos.int.ind_k100.smt2 (content) ok ok 1m51.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pipeline.c.kratos.int.bmc_k100.smt2 (content) ok ok 36.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pipeline-bug.c.kratos.int.ind_k100.smt2 (content) ok ok 1m54.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pipeline-bug.c.kratos.int.bmc_k100.smt2 (content) ok ok 35.0s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pc_sfifo_3.c.kratos.int.ind_k100.smt2 (content) ok ok 1m16.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/pc_sfifo_3.c.kratos.int.bmc_k100.smt2 (content) ok ok 13.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/mem_slave_tlm.5.c.kratos.int.bmc_k100.smt2 (content) ok ok 49.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/kundu.c.kratos.int.ind_k100.smt2 (content) ok ok 1m40.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/kundu.c.kratos.int.bmc_k100.smt2 (content) ok ok 30.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/bist_cell.c.kratos.int.ind_k100.smt2 (content) ok ok 1m8.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/kratos_systemC_swmc/bist_cell.c.kratos.int.bmc_k100.smt2 (content) ok ok 5.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/UltimateBuchiAutomizer/c.01-no-inv_true-termination.c.smt2 (content) ok ok 3.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/UltimateBuchiAutomizer/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c.smt2 (content) ok ok 8.5s