detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/021.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/020.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/019.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/018.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/017.smt2 (content) ok ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/016.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/015.smt2 (content) ok ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/014.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/013.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/012.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/011.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/010.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/009.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/008.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/007.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/006.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/005.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/004.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/003.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/002.smt2 (content) ok ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/001.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_876.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_874.smt2 (content) ok ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_847.smt2 (content) ok ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_73.smt2 (content) ok ok 0.107s