detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-13-4-4-2-1.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-12-3-4-4-1.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-11-3-3-4-5.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-10-5-3-2-1.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-09-4-3-5-5.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-08-5-3-2-5.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-07-3-4-4-3.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-06-5-5-4-1.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-17-05-2-1-1-2.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-20-5-1-4-4.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-19-3-4-4-1.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-18-1-4-4-3.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-17-5-5-3-5.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-15-2-3-4-4.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-14-2-4-1-4.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-13-4-1-4-5.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-12-2-5-3-4.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-11-2-1-5-2.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-10-4-3-1-3.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-09-4-2-1-5.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-08-1-4-4-5.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-07-1-1-4-2.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-06-4-1-3-5.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-16-05-5-3-1-1.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-15-19-3-1-4-1.smt2 (content) fatal ok 0.112s