detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_26_26.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_25_45.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_25_35.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_25_25.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_24_44.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_24_34.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_24_24.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_23_43.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_23_33.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_23_23.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_22_42.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_22_32.smt2 (content) fatal ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_22_22.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_21_41.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_21_31.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_21_21.smt2 (content) fatal ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_20_40.smt2 (content) fatal ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_20_30.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_20_20.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_19_39.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_19_29.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_19_19.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_18_38.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_18_28.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_18_18.smt2 (content) fatal ok 0.160s