detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UF/2018-Goel-hwbench/QF_UF_AR_ab_core_max.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem19_prop_003.c.smt2 (content) ok ok 41.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem15_prop_016.c.smt2 (content) ok ok 9.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem15_prop_001.c.smt2 (content) ok ok 13.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_025.c.smt2 (content) ok ok 12.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_024.c.smt2 (content) ok ok 24.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_023.c.smt2 (content) ok ok 11.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_022.c.smt2 (content) ok ok 43.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_010.c.smt2 (content) ok ok 21.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_004.c.smt2 (content) ok ok 37.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_000.c.smt2 (content) ok ok 7.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/rod_30_3.inter.ind_k100.smt2 (content) ok ok 1m59.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/rod_30_3.inter.bmc_k100.smt2 (content) ok ok 56.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_star_20_3.inter.ind_k100.smt2 (content) ok ok 1m48s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_star_20_3.inter.bmc_k100.smt2 (content) ok ok 56.9s
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_LRA/hybrid_networks/fisher_ring_20_3.inter.bmc_k100.smt2 (content) ok ok 1m24.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/dist_controller_15_3.inter.ind_k100.smt2 (content) ok ok 1m57.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/dist_controller_15_3.inter.bmc_k100.smt2 (content) ok ok 1m9.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/bmwlin_20_5_1.inter.ind_k100.smt2 (content) ok ok 1m12s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/bmwlin_20_5_1.inter.bmc_k100.smt2 (content) ok ok 51.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/s3_clnt_1_true-unreach-call.cil.c.prep.smt2 (content) ok ok 58.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/s3_clnt_1_false-unreach-call.cil.c.prep.smt2 (content) ok ok 58.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/kundu_true-unreach-call_false-termination.cil.c.prep.smt2 (content) ok ok 1m18.8s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/floppy_simpl4_false-unreach-call_true-termination.cil.c.prep.smt2 (content) ok ok 49.0s