detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem08_00_true-unreach-call.c.smt2 (content) ok ok 1m47.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem07_00_true-unreach-call.c.smt2 (content) ok ok 1m13.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_50_true-unreach-call.c.smt2 (content) ok ok 1m44.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_10_true-unreach-call.c.smt2 (content) ok ok 1m24.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem05_00_false-unreach-call.c.smt2 (content) ok ok 1m23s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/ultimateAutomizer/Problem04_40_false-unreach-call.c.smt2 (content) ok ok 1m33.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.ind_k100.smt2 (content) ok ok 1.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/two_counters.bmc_k100.smt2 (content) ok ok 0.321s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/traffic.bmc_k100.smt2 (content) ok ok 0.327s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/swimmingpool_1.ind_k100.smt2 (content) ok ok 16.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/speed2.ind_k100.smt2 (content) ok ok 3.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_vt.bmc_k100.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/rtp_all.ind_k100.smt2 (content) ok ok 14.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/metros_1.bmc_k100.smt2 (content) ok ok 0.588s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/hysteresis_all.bmc_k100.smt2 (content) ok ok 0.352s
dolmen /home/guillaume/bench/smtlib-incremental/QF_LIA/lustre/ex3.bmc_k100.smt2 (content) ok ok 0.374s
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