detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-12-4-1-1-4.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-11-1-3-5-5.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-09-1-4-4-1.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-08-2-2-4-5.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-07-4-1-1-5.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-06-1-1-5-2.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-10-05-5-2-1-5.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-20-5-5-1-5.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-18-1-3-4-5.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-17-2-1-4-1.smt2 (content) fatal ok 0.204s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-16-3-4-1-5.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-15-5-3-2-3.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-13-2-3-1-3.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-12-5-2-1-5.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-11-2-4-1-5.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-10-5-1-5-2.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-08-1-1-5-3.smt2 (content) fatal ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-07-1-3-3-2.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-06-1-5-3-2.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-09-05-2-4-4-5.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-20-3-2-4-5.smt2 (content) fatal ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-19-2-2-3-1.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-17-4-1-2-2.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-16-4-4-5-1.smt2 (content) fatal ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-08-15-4-2-1-4.smt2 (content) fatal ok 0.112s