detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/146.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/145.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/144.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/143.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/142.smt2 (content) ok ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/141.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/140.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/139.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/138.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/137.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/136.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/135.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/134.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/133.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/132.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/131.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/130.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/129.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/128.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/127.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/126.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/125.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/124.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/123.smt2 (content) ok ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/122.smt2 (content) ok ok 0.241s