detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-18-3-4-5-4.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-17-5-4-5-4.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-16-4-4-4-1.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-15-2-2-4-2.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-14-2-3-3-3.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-13-2-5-2-3.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-12-3-1-5-2.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-11-5-1-3-4.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-10-5-5-5-4.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-09-1-5-4-2.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-08-5-3-1-5.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-07-5-1-2-1.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-06-2-3-1-3.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-05-5-5-1-3.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-20-1-1-2-2.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-18-2-2-2-5.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-17-2-2-5-1.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-16-4-4-1-4.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-15-3-1-3-4.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-14-3-3-5-3.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-13-2-1-3-1.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-12-4-2-4-5.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-11-4-4-1-3.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-10-3-5-2-5.smt2 (content) fatal ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-19-09-4-2-3-5.smt2 (content) fatal ok 0.210s