detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/140.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/139.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/138.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/137.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/136.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/135.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/134.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/133.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/132.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/131.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/130.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/129.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/128.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/127.smt2 (content) ok ok 0.107s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/126.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/125.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/124.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/123.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/122.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/121.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/120.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/119.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/118.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/117.smt2 (content) ok ok 0.106s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/116.smt2 (content) ok ok 0.079s