detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_6_6.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_6_16.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_6_11.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_5_5.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_5_15.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_5_10.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_40_60.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_40_50.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_40_40.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_39_59.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_39_49.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_39_39.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_38_58.smt2 (content) fatal ok 0.281s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_38_48.smt2 (content) fatal ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_38_38.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_37_57.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_37_47.smt2 (content) fatal ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_37_37.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_36_56.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_36_46.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_36_36.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_35_55.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_35_45.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_35_35.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/QF_UFLIA/wisas/xs_34_54.smt2 (content) fatal ok 0.154s