detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_17_37.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_17_27.smt2 (content) fatal ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_17_17.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_16_36.smt2 (content) fatal ok 0.204s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_16_26.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_16_16.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_15_25.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_15_20.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_15_15.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_14_24.smt2 (content) fatal ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_14_19.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_14_14.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_13_23.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_13_18.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_13_13.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_12_22.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_12_17.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_12_12.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_11_21.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_11_16.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_11_11.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_10_20.smt2 (content) fatal ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_10_15.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_10_10.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/mathsat/Wisa/xs-20-19-2-2-2-5.smt2 (content) fatal ok 0.222s