detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821035642367862766.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1820743415728692923.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1815765313326014903.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1812530333845147604.smt2 (content) ok ok 0.294s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1812076711564990283.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1807168859103845544.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt180530979292279200.smt2 (content) ok ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1805115980850825732.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1804958045519729639.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1802137090431636703.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1791517494366412757.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1790851230177352163.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1789466832568554624.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1787580971638306173.smt2 (content) ok ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1785980415267590231.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1783163497306728397.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1782808187350703228.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1781368876319316095.smt2 (content) ok ok 0.139s
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