root
file
detailed [14550..14574]
prev
next
detailed results (33316 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5965.smt2
(content)
warn
ok
0.053s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5964.smt2
(content)
warn
ok
0.048s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5963.smt2
(content)
warn
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5920.smt2
(content)
warn
ok
0.058s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5919.smt2
(content)
warn
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5918.smt2
(content)
warn
ok
0.053s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5917.smt2
(content)
warn
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5587.smt2
(content)
warn
ok
0.055s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-simple-node5586.smt2
(content)
warn
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6060.smt2
(content)
warn
ok
0.056s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node6059.smt2
(content)
warn
ok
0.050s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5857.smt2
(content)
warn
ok
0.064s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5856.smt2
(content)
warn
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5841.smt2
(content)
warn
ok
0.046s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5840.smt2
(content)
warn
ok
0.054s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5839.smt2
(content)
warn
ok
0.048s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5810.smt2
(content)
warn
ok
0.066s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5809.smt2
(content)
warn
ok
0.052s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-node5808.smt2
(content)
warn
ok
0.047s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6638.smt2
(content)
warn
ok
0.045s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6637.smt2
(content)
warn
ok
0.047s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6622.smt2
(content)
warn
ok
0.046s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6621.smt2
(content)
warn
ok
0.052s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6606.smt2
(content)
warn
ok
0.048s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-keymaera/bouncing-ball-inv-node6605.smt2
(content)
warn
ok
0.070s