detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_1.ec.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/readwrit.ec.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_792.ec.smt2 (content) ok ok 0.484s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e8_427.ec.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e7_651.ec.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e8_241.ec.smt2 (content) ok ok 0.446s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e7_41.ec.smt2 (content) ok ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207.ec.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_all.ec.smt2 (content) ok ok 0.152s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_4.ec.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_3.ec.smt2 (content) ok ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_2.ec.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1_e7_4234.ec.smt2 (content) ok ok 0.644s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1.ec.smt2 (content) ok ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_all.ec.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_3.ec.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_2.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/hysteresis_1.ec.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_976.ec.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_460_e8_1920.ec.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e8_460_e7_43.ec.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e7_2526_e7_2736.ec.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2_e7_1871.ec.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_2.ec.smt2 (content) ok ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_751.ec.smt2 (content) ok ok 0.100s