root
file
detailed [3050..3074]
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/smt2347251864464298042.smt2
(content)
ok
ok
0.171s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2340180368009370875.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2339071716448149054.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2338057471787182030.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2336571634830276124.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2336098928704824320.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2332523424999824451.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2331594359457209.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2330441062726669005.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2325698648392867811.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2321475933044664189.smt2
(content)
ok
ok
0.157s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2317411278858398673.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2316718945604016123.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2316654115764533290.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt231466713630559956.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2314056302005320946.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2313266446438963894.smt2
(content)
ok
ok
0.188s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt231068153466598151.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2307674047503923840.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2307236902642854797.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304909033023034280.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304797632488731286.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2302731083173693105.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt230202794975431528.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2301277251964953552.smt2
(content)
ok
ok
0.122s