detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt183232006382492806.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1831515236906682906.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1829029808963281215.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828334434025716862.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828030876211575517.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821659467166696821.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821588557045140226.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1821035642367862766.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1820743415728692923.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1815765313326014903.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1812530333845147604.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1812076711564990283.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1807168859103845544.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt180530979292279200.smt2 (content) ok ok 0.113s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1805115980850825732.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1804958045519729639.smt2 (content) ok ok 0.113s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1802137090431636703.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1791517494366412757.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1790851230177352163.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1789466832568554624.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1787580971638306173.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1785980415267590231.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1783163497306728397.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1782808187350703228.smt2 (content) ok ok 0.127s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1781368876319316095.smt2 (content) ok ok 0.158s