detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_10.smt2 (content) fatal ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_09.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_08.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_07.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_06.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_05.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_04.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_04_03.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_20.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_19.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_18.smt2 (content) fatal ok 0.206s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_17.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_16.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_15.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_14.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_13.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_12.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_11.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_10.smt2 (content) fatal ok 0.202s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_09.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_08.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_07.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_06.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_05.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Hash/hash_uns_03_04.smt2 (content) fatal ok 0.116s