detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt417959377453691885.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4176665521632236761.smt2 (content) ok ok 0.114s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4173896851214750436.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4167545119233033254.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4167295733966624490.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4165851429231607835.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4165328582672105645.smt2 (content) ok ok 0.162s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4164342821240610005.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4161091662023438351.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4157580683177786063.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4155457707813979895.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4153770156969423995.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4152960612705020583.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt415287407962728527.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4150277504892855270.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4149672650680897311.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4147924650475218549.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4144557290867185113.smt2 (content) ok ok 0.154s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4143999369475534694.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4142710610756967671.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4135899672863530337.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4131392039629521587.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4130202831633010286.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4120241032847889670.smt2 (content) ok ok 0.160s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4118979710377747097.smt2 (content) ok ok 0.120s