root
file
detailed [15450..15474]
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/smt6699745459232267348.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt66982583358326958.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6698070974875285812.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6697114415872057775.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6696213828284437771.smt2
(content)
ok
ok
0.093s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6691114170982046427.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6687160200686750760.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6686346698589869511.smt2
(content)
ok
ok
0.167s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6686123617838047412.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6677276724832650940.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt667602561383150784.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6674909000431124551.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6674688031799641314.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6673833576082555204.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6668924322855834771.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6667747875492206332.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6665285847120884048.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6664083169973822731.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6661888291031456650.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt666113631269144614.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6660927392829443862.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt665836200023602644.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6656926901282860223.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6653901959650445094.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6646551715586635467.smt2
(content)
ok
ok
0.083s