root
file
detailed [4000..4024]
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/smt4640416907435397659.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4638399506846478956.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4638386701480470020.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4638094800511159763.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4637794438005404158.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4632654422799335662.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4632587299804527799.smt2
(content)
ok
ok
0.198s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4631645002206349978.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4620124109248440486.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4619060306275699232.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4610990409323954609.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4602887444476538812.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4599471909914784267.smt2
(content)
ok
ok
0.168s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4599087953169657819.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt459863204155348020.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4594007110460458347.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4593927004319083457.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt459221390423366199.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4591815628134945561.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4591540811090150991.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4590923277281709037.smt2
(content)
ok
ok
0.207s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4588890196868134800.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4585709713277364641.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4583639128389902375.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4579745768945200905.smt2
(content)
ok
ok
0.122s