detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave04.ec.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave03.ec.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave02.ec.smt2 (content) warn ok 0.150s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave01.ec.smt2 (content) warn ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_5_e4_1208_e1_337.ec.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_5.ec.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e5_1150.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e4_232.ec.smt2 (content) warn ok 0.193s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e3_522.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e2_1317.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1091_e1_1044.ec.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e3_1025.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e7_860.ec.smt2 (content) warn ok 0.194s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e6_236.ec.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e5_991.ec.smt2 (content) warn ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e4_801.ec.smt2 (content) warn ok 0.197s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e3_931.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e2_1166.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_968_e1_956.ec.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e2_532.ec.smt2 (content) warn ok 0.213s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e1_917.ec.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4_e1_821_e5_911.ec.smt2 (content) warn ok 0.204s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_4.ec.smt2 (content) warn ok 0.180s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e3_291.ec.smt2 (content) warn ok 0.223s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/metros_3_e4_987_e2_80.ec.smt2 (content) warn ok 0.197s