detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e7_31.ec.smt2 (content) fatal ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e2_352.ec.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_12.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e7_358.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e5_5.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e4_294.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e2_3.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197_e7_289.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e1_197.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp18.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp08.ec.smt2 (content) fatal ok 0.393s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp05.ec.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp04.ec.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp03.ec.smt2 (content) fatal ok 0.386s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp02.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ccp01.ec.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e3_1472.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e2_1053.ec.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251_e1_1852.ec.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e8_251.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907_e7_1363.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e7_907.ec.smt2 (content) fatal ok 0.318s