detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_5_e7_3972.ec.smt2 (content) ok ok 0.650s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_5.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_4.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_3.ec.smt2 (content) ok ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_2.ec.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_10_e7_106_e7_2564.ec.smt2 (content) ok ok 0.715s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_10.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_1.ec.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/readwrit.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_792.ec.smt2 (content) ok ok 0.484s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e8_427.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e7_651.ec.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e8_241.ec.smt2 (content) ok ok 0.466s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e7_41.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_vt.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_all.ec.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_4.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_3.ec.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_2.ec.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1_e7_4234.ec.smt2 (content) ok ok 0.717s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave40.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave39.ec.smt2 (content) fatal ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave38.ec.smt2 (content) fatal ok 0.165s