detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_34_44.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_34_34.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_33_53.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_33_43.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_33_33.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_32_52.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_32_42.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_32_32.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_31_51.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_31_41.smt2 (content) fatal ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_31_31.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_30_50.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_30_40.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_30_30.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_29_49.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_29_39.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_29_29.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_28_48.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_28_38.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_28_28.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_27_47.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_27_37.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_27_27.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_26_46.smt2 (content) fatal ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_26_36.smt2 (content) fatal ok 0.207s