root
file
detailed [3825..3849]
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/smt42208811389054149.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4215978170547920965.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4214870675514843287.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4213031790546145760.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4213022824771684467.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4211882675554830433.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4211375840422985951.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4208870736112089336.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4208471672338948748.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4207124295735941516.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4202228420593879115.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4196477424865395514.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4195793235092125316.smt2
(content)
ok
ok
0.153s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt419180254188613581.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4190735108699551435.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt418328343431562728.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4183020448702853147.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4182002212542295129.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4180885909439119550.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4180685397885379735.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt417959377453691885.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4176665521632236761.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4173896851214750436.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4167545119233033254.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4167295733966624490.smt2
(content)
ok
ok
0.120s