root
file
detailed [15975..15999]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8097830786052600310.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8097522514077382637.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8096054554975154796.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8095036089843707345.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8088057863687524520.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8079450311818250155.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8074445567405218496.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt807257290809562303.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8070656929130689414.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt806976972383716192.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8064955441714128623.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8064171140545155306.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8061204852622600993.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8060884149594703796.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8056816654454080504.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8053188837935674895.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8052795780714760582.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8048493473977802876.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8045184380781220827.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8044608230410916197.smt2
(content)
ok
ok
0.072s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8044567727320247752.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8041617294106285908.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8035794401080801116.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8027911803092409603.smt2
(content)
ok
ok
0.170s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8027567806963627039.smt2
(content)
ok
ok
0.083s