detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_022.c.smt2 (content) ok ok 43.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_010.c.smt2 (content) ok ok 21.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_004.c.smt2 (content) ok ok 37.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_NIA/UltimateLTLAutomizer/Problem14_prop_000.c.smt2 (content) ok ok 7.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/rod_30_3.inter.ind_k100.smt2 (content) ok ok 1m51.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/rod_30_3.inter.bmc_k100.smt2 (content) ok ok 48.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_star_20_3.inter.ind_k100.smt2 (content) ok ok 1m38.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_star_20_3.inter.bmc_k100.smt2 (content) ok ok 48.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/fisher_ring_20_3.inter.bmc_k100.smt2 (content) ok ok 1m14.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/dist_controller_15_3.inter.ind_k100.smt2 (content) ok ok 1m52.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/dist_controller_15_3.inter.bmc_k100.smt2 (content) ok ok 1m3.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/bmwlin_20_5_1.inter.ind_k100.smt2 (content) ok ok 1m3.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LRA/hybrid_networks/bmwlin_20_5_1.inter.bmc_k100.smt2 (content) ok ok 42.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/s3_clnt_1_true-unreach-call.cil.c.prep.smt2 (content) ok ok 55.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/s3_clnt_1_false-unreach-call.cil.c.prep.smt2 (content) ok ok 56.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/kundu_true-unreach-call_false-termination.cil.c.prep.smt2 (content) ok ok 1m13.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/floppy_simpl4_false-unreach-call_true-termination.cil.c.prep.smt2 (content) ok ok 44.0s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateKojak/bist_cell_true-unreach-call_false-termination.cil.c.prep.smt2 (content) ok ok 1m2.8s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy2_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 29.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/toy1_false-unreach-call_false-termination.cil.c.smt2 (content) ok ok 42s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pipeline_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 36.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/pc_sfifo_2_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 1m32.9s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c.smt2 (content) ok ok 15.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem09_50_true-unreach-call.c.smt2 (content) ok ok 1m48.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_60_false-unreach-call.c.smt2 (content) ok ok 1m47.7s