detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/durationThm_1.ind_k100.smt2 (content) ok ok 3.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/cd.bmc_k100.smt2 (content) ok ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/_6countern.ind_k100.smt2 (content) ok ok 0.735s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/SYNAPSE_i1.bmc_k100.smt2 (content) ok ok 0.499s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/SYNAPSE_all.ind_k100.smt2 (content) ok ok 8.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/SYNAPSE_all.bmc_k100.smt2 (content) ok ok 0.426s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/PRODUCER_CONSUMER_vt.ind_k100.smt2 (content) ok ok 8.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/PRODUCER_CONSUMER_all.ind_k100.smt2 (content) ok ok 7.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/MESI_all.ind_k100.smt2 (content) ok ok 11.2s
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/transmitter.10.c.kratos.int.bmc_k100.smt2 (content) timout ok 2m0.2s
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/token_ring.10.c.kratos.int.bmc_k100.smt2 (content) timout ok 2m0.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