detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib19397e.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib191b6e.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib18bfcc.smt2 (content) warn ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib18a90f.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1897cf.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib188c27.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib185766.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib17f5be.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib17b631.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib17b4bd.smt2 (content) warn ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib179e1e.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib178ec9.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1707db.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1704dd.smt2 (content) warn ok 0.187s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib16ff53.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib16c25f.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib16a3d4.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib168de3.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib164049.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib16268f.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib15f914.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib15e4da.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib159e46.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1562c6.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib1537bd.smt2 (content) warn ok 0.185s