root
file
detailed [15200..15224]
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/smt6022477335897346590.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6020674397418633863.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6019140104051929176.smt2
(content)
ok
ok
0.102s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6017049904491910069.smt2
(content)
ok
ok
0.108s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6016337707207842290.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt601430663087344057.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6010410102917638156.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6007374431985857542.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6006551279309141973.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6006458526188717947.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt600629920309015669.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6003724236115725726.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt59946250964249193.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5991630893491215674.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5991427294060319970.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt59912875689518509.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5989542472450716734.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5989328590651999003.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5988970157770693913.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5988950579042661220.smt2
(content)
ok
ok
0.193s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5988836075316028600.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5988662662629198737.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5985719906973356009.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5985004938741108247.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5979675544970968247.smt2
(content)
ok
ok
0.105s