root
file
detailed [2100..2124]
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/smt6033697067892402087.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6026438722480841285.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6026017159643362589.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6025136117177069457.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6024050464617281973.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6022516407025149263.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6022477335897346590.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6020674397418633863.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6019140104051929176.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6017049904491910069.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6016337707207842290.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt601430663087344057.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6010410102917638156.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6007374431985857542.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6006551279309141973.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6006458526188717947.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt600629920309015669.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6003724236115725726.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt59946250964249193.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5991630893491215674.smt2
(content)
ok
ok
0.154s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5991427294060319970.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt59912875689518509.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5989542472450716734.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5989328590651999003.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5988970157770693913.smt2
(content)
ok
ok
0.125s