detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt371612414412868921.smt2 (content) ok ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3713369358877078193.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3706876155593555652.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3705688776235030600.smt2 (content) ok ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3702040692546739490.smt2 (content) ok ok 0.293s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3696567545984296619.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3695973768433802661.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3694704221258158797.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3690588025361621530.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3686239372384644867.smt2 (content) ok ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3684033757850075218.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3683496817486840701.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3681605263926070096.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3681543572421710975.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3675409843743001015.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3674950262367594939.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt366819262362165186.smt2 (content) ok ok 0.289s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3658901894929161325.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3657632841644714398.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3653228957779492762.smt2 (content) ok ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3652387269320799222.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3652304809254008479.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3647493213096596288.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3646074089023251924.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3642165448476998565.smt2 (content) ok ok 0.232s