detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-18-4-1-3-5.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-17-2-1-1-4.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-16-2-4-2-5.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-14-5-5-5-1.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-13-4-5-2-4.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-12-2-2-3-4.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-11-5-2-2-2.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-10-1-3-5-1.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-09-3-5-5-3.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-08-4-5-4-1.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-07-3-1-5-5.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-06-3-5-4-4.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-05-2-1-2-3.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-20-3-5-3-5.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-18-5-5-3-2.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-17-5-4-3-1.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-16-4-1-1-5.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-15-1-1-3-3.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-13-4-2-1-3.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-12-4-4-1-3.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-11-4-2-2-1.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-10-3-4-2-2.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-09-3-3-4-4.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-08-5-1-1-4.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-14-07-1-4-1-3.smt2 (content) fatal ok 0.104s