root
file
detailed [2850..2874]
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/smt1883521321197213723.smt2
(content)
ok
ok
0.176s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1883437689668062427.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1882594910272367920.smt2
(content)
ok
ok
0.205s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1880205540668736200.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1878039912054818116.smt2
(content)
ok
ok
0.203s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1877807359528856298.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt187206350509611450.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt187203562162184129.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1871012980246851163.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1870185183229239874.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1857914508354494859.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1854725234276792549.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1853485080045113452.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1852497835834962306.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1852219144331276493.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1851467754065939315.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1843139230315038241.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1843027498521800594.smt2
(content)
ok
ok
0.163s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1837855026361223962.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt183468529197517315.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt183232006382492806.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1831515236906682906.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1829029808963281215.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828334434025716862.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1828030876211575517.smt2
(content)
ok
ok
0.117s