root
file
detailed [18000..18024]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4529185478833891484.smt2
(content)
ok
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4526431177295973895.smt2
(content)
ok
ok
0.144s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4523559556637981815.smt2
(content)
ok
ok
0.300s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4518352772574163806.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4518288282830329457.smt2
(content)
ok
ok
0.221s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4517125900103311297.smt2
(content)
ok
ok
0.369s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4515530455499416774.smt2
(content)
ok
ok
0.293s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4511289061169972719.smt2
(content)
ok
ok
0.227s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4509386517399123898.smt2
(content)
ok
ok
0.214s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4506414716777787953.smt2
(content)
ok
ok
0.215s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4505714063522592669.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4498701049979871204.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4489722312705277948.smt2
(content)
ok
ok
0.141s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4484422072748674537.smt2
(content)
ok
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt448437746126787728.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt448276078737243011.smt2
(content)
ok
ok
0.219s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4482052332246544190.smt2
(content)
ok
ok
0.141s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4481118968210909523.smt2
(content)
ok
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4478268210719529044.smt2
(content)
ok
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4473657298807368490.smt2
(content)
ok
ok
0.206s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4468577497140440620.smt2
(content)
ok
ok
0.218s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4464671461667860819.smt2
(content)
ok
ok
0.153s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4460761262743395838.smt2
(content)
ok
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4456074260384711473.smt2
(content)
ok
ok
0.287s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4454494873436800097.smt2
(content)
ok
ok
0.228s