root
file
detailed [3425..3449]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3199839445334716734.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3198434344153553831.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3196606273644471964.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3196457844914399927.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3195769651610361688.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3194292525771355817.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3191715466861790998.smt2
(content)
ok
ok
0.208s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt319049996668040274.smt2
(content)
ok
ok
0.170s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3189021025332091708.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3185838109022425300.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3184856264073064819.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3183375387844720024.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt317938596837737025.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3178297671983108390.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3175711085722566044.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3172620091471798279.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3171655670529842223.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3171047026071263097.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3168437621624485571.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3167666711978843074.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3161470734717306805.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3154552329626202329.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3152186444750171091.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3149155445681831487.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3147378583699846859.smt2
(content)
ok
ok
0.110s