root
file
detailed [14700..14724]
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/smt4707316134673980212.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4702327136655876620.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4697313379055574374.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4696576625617609017.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4696038454699469549.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4694811383446065058.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4694095012485450369.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4692308590410295085.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4691613062613457128.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4688353851435564037.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4688111775435864981.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4681811530251213575.smt2
(content)
ok
ok
0.093s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4681083916772161714.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4680538061668259316.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4673544095542903944.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt467312657769028704.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4670399840826194474.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4667714454005142262.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4663653296543933903.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4662857640735561223.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4660082113544523311.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4658794990102900368.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4656377037970455797.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4655232573462494997.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt465089875851517540.smt2
(content)
ok
ok
0.126s