detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt183232006382492806.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1831515236906682906.smt2 (content) ok ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1829029808963281215.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828334434025716862.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828030876211575517.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821659467166696821.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821588557045140226.smt2 (content) ok ok 0.150s
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