detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all_e3_1750.ec.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_all.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e8_1147_e2_1326.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e7_938_e2_1012.ec.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e3_1666_e5_1558.ec.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6_e2_1439_e1_954.ec.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_6.ec.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_5_e2_1525.ec.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_5_e1_811_e2_1026.ec.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_5_e1_811_e1_823.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_5_e1_1375.ec.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_5.ec.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_4_e8_974.ec.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_4_e8_420_e8_1525.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_4_e8_420_e7_572.ec.smt2 (content) ok ok 0.575s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_4.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e8_320.ec.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e7_1062.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e2_236.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329_e1_1270.ec.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e8_1329.ec.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_425.ec.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e7_1444_e7_638.ec.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_518_e8_922.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/SYNAPSE_3_e3_1041.ec.smt2 (content) fatal ok 0.230s