detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5167818373248272512.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5166545308453314342.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5160734434390209646.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5156369253670484861.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5155666245669531512.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5153255455497383856.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5148707087696111623.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5147240594190985785.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5146088650210524202.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5142771635764515927.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5142338501095623673.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5139619294253157174.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5139191027768228183.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5134723376395613924.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5134464099718219921.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5133064146593537901.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5132700047159204848.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5131426681804051288.smt2 (content) ok ok 0.251s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5130834732693592045.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt512985261612696455.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt512920165540012700.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5128705739192376467.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt512715213220653047.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5124098704384619420.smt2 (content) ok ok 0.293s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5122060093872386605.smt2 (content) ok ok 0.214s