detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-14-2-3-3-5.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-12-3-1-3-4.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-11-4-3-2-2.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-10-5-2-5-3.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-09-4-5-5-4.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-07-3-2-3-1.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-06-4-5-4-1.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-05-1-5-4-2.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-20-2-5-1-4.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-19-5-3-2-5.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-18-1-1-4-1.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-16-2-4-3-5.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-15-4-4-1-5.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-14-1-1-1-1.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-13-5-3-2-1.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-11-1-1-1-1.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-10-2-4-5-3.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-09-3-4-4-3.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-08-4-4-4-2.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-06-4-1-5-3.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-07-05-5-2-3-5.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-06-20-5-1-5-1.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-06-19-3-3-4-4.smt2 (content) fatal ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-06-18-1-2-1-5.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-06-17-2-2-4-1.smt2 (content) fatal ok 0.114s