detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-12-09-5-5-2-4.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-12-08-5-2-5-3.smt2 (content) fatal ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-12-07-3-4-1-2.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-12-06-3-4-5-1.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-12-05-3-3-5-4.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-20-5-2-5-3.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-19-4-5-1-1.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-18-3-3-4-1.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-17-5-2-4-4.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-15-4-4-5-5.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-14-5-3-1-2.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-13-4-4-5-2.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-12-5-4-4-2.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-10-2-5-3-2.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-09-1-2-1-3.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-08-3-4-3-5.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-07-3-4-2-3.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-06-4-4-5-5.smt2 (content) fatal ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-11-05-3-1-5-3.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-19-3-4-2-4.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-18-2-2-5-3.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-17-5-2-2-5.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-16-3-5-2-4.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-14-2-1-4-4.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-13-5-5-4-5.smt2 (content) fatal ok 0.117s