detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3350758283073779538.smt2 (content) ok ok 0.290s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3349192138049410940.smt2 (content) ok ok 0.290s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3331050197975263519.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3330397588428739231.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3330164795438345057.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3329562997394371375.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3329517673467380403.smt2 (content) ok ok 0.206s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3324129979443786945.smt2 (content) ok ok 0.373s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3324005661196321555.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3322113194874838489.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3322050457525539213.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3319553401693603391.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3317031498503257450.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3305905391469114399.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3302544348447289371.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3296651117382759498.smt2 (content) ok ok 0.367s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3295405045453995722.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3294460285105515661.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3292597746674859147.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3287441163571661640.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3282579296144077934.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3279639694205666193.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3275125529170333911.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3271149777975346762.smt2 (content) ok ok 0.293s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3265202927699852636.smt2 (content) ok ok 0.156s