detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1781298234210801462.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1775873325573955987.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1774290706410564100.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1772345180295614138.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1771627171023737362.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1770291432498889107.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1769654584429525997.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1768596582840751760.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1767211284050603594.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1766838214239682033.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1766451308598847053.smt2 (content) ok ok 0.291s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1762019572697971284.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1760527519253903563.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1757237832689859292.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt175693929603090908.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1743836378377715951.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1742700865913716439.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1742546668137218199.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1742255412438246709.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1739232620105334817.smt2 (content) ok ok 0.251s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1735526854253369868.smt2 (content) ok ok 0.369s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1729704176254333878.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1727842079814710002.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1725872058289493074.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1724658499615292726.smt2 (content) ok ok 0.218s