detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/040.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/039.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/038.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/037.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/036.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/035.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/034.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/033.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/032.smt2 (content) ok ok 0.104s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/031.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/030.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/029.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/028.smt2 (content) ok ok 0.101s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/027.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/026.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/025.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/024.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/023.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/022.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/021.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/020.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/019.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/018.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/017.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/016.smt2 (content) ok ok 0.125s