detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5840107616231557204.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5839124435366885212.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5834139248085483237.smt2 (content) ok ok 0.284s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5828854404854002162.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5821667425288481563.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5815901574845558654.smt2 (content) ok ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5812672734263557533.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5808403750420194448.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5807555126224231610.smt2 (content) ok ok 0.291s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5805545091025765442.smt2 (content) ok ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5804470410567372169.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5799529207686590833.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5792133956624119961.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5790692817346375819.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5789153088241118438.smt2 (content) ok ok 0.367s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5787977391506536643.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5777322101535313487.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5769000295679607906.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5762601195789556894.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5762349878326627570.smt2 (content) ok ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt575695382146512568.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5748257936060329954.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5747553877538776922.smt2 (content) ok ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5745551548094003163.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5745467257858837641.smt2 (content) ok ok 0.291s