detailed results (10 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/2019-Mann/ridecore-qf_bv-bug.smt2 (content) timout ok 2m0.1s
dolmen /home/guillaume/bench/smtlib/QF_ABV/2019-Mann/ridecore-qf_abv-bug.smt2 (content) timout ok 2m0s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_ring_20_3.inter.ind_k100.smt2 (content) timout ok 2m0.2s
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/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/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/mem_slave_tlm.5.c.kratos.int.ind_k100.smt2 (content) timout ok 2m0.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/2019-Mann/ridecore-inc-qf_bv-bug.smt2 (content) timout ok 2m0.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/safari/crash3.smt2 (content) timout ok 2m0.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/ridecore-inc-qf_abv-bug.smt2 (content) timout ok 2m0.1s