detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e2_352.ec.smt2 (content) warn ok 0.330s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_12.ec.smt2 (content) warn ok 0.124s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e7_358.ec.smt2 (content) warn ok 0.301s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e5_5.ec.smt2 (content) warn ok 0.381s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e4_294.ec.smt2 (content) warn ok 0.341s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389.ec.smt2 (content) warn ok 0.338s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e2_3.ec.smt2 (content) warn ok 0.371s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197_e7_289.ec.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197.ec.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1.ec.smt2 (content) warn ok 0.284s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp18.ec.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp08.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp05.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp04.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp03.ec.smt2 (content) warn ok 0.153s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp02.ec.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp01.ec.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e3_1472.ec.smt2 (content) warn ok 0.102s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e2_1053.ec.smt2 (content) warn ok 0.101s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e1_1852.ec.smt2 (content) warn ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251.ec.smt2 (content) warn ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907_e7_1363.ec.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e7_251.ec.smt2 (content) warn ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1864_e5_1637.ec.smt2 (content) warn ok 0.139s