root
file
detailed [15175..15199]
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/smt5977568418365520573.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5977337122499632536.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt597529001500822821.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5973516924442529596.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5971236446889265764.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5971127120865123785.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt597034381381483378.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt596392061327500336.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5962356685149636535.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960616086361452481.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960541728598911097.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960435926995203310.smt2
(content)
ok
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5950358136244635539.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5947415821119781997.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5946382753343446256.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5939188342885389719.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5938724647020374197.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5936311447054686414.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5936218559030368219.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5934512351361542777.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5932798221671213523.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5931848958908398972.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5931253389265687509.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5926620856798796184.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5920364694953344910.smt2
(content)
ok
ok
0.081s