root
file
detailed [1775..1799]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5196578474867449746.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5194362881493341383.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5191227566948571818.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5190279257289611656.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5189266641654085638.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5187681427129562836.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5178766711610825437.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5174113414071199270.smt2
(content)
ok
ok
0.201s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt517321203699161195.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5173175018107198461.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5172329397706788456.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5170853876244439345.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5167905328647533723.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5167818373248272512.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5166545308453314342.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5160734434390209646.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5156369253670484861.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5155666245669531512.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5153255455497383856.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5148707087696111623.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5147240594190985785.smt2
(content)
ok
ok
0.187s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5146088650210524202.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5142771635764515927.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5142338501095623673.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5139619294253157174.smt2
(content)
ok
ok
0.123s