detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node125655.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node125543.smt2 (content) warn ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node125431.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node125222.smt2 (content) warn ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node12498.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124977.smt2 (content) warn ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124641.smt2 (content) warn ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124529.smt2 (content) warn ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124417.smt2 (content) warn ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124208.smt2 (content) warn ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node124004.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node123892.smt2 (content) warn ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node12386.smt2 (content) warn ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node123456.smt2 (content) warn ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node123344.smt2 (content) warn ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node123135.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node122931.smt2 (content) warn ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node122686.smt2 (content) warn ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node122574.smt2 (content) warn ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node122365.smt2 (content) warn ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node121932.smt2 (content) warn ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node121820.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node121611.smt2 (content) warn ok 0.291s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node121407.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/intersection-example-simple.proof-node121070.smt2 (content) warn ok 0.171s