detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_17.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_16.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_15.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_14.smt2 (content) fatal ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_13.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_12.smt2 (content) fatal ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_11.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_10.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_09.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_08.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_07.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_06.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_05.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_04.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_05_03.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_20.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_19.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_18.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_17.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_16.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_15.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_14.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_13.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_12.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_11.smt2 (content) fatal ok 0.166s