detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2339071716448149054.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2338057471787182030.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2336571634830276124.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2336098928704824320.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2332523424999824451.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2331594359457209.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2330441062726669005.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2325698648392867811.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2321475933044664189.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2317411278858398673.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2316718945604016123.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2316654115764533290.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt231466713630559956.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2314056302005320946.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2313266446438963894.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt231068153466598151.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2307674047503923840.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2307236902642854797.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304909033023034280.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304797632488731286.smt2 (content) ok ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2302731083173693105.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt230202794975431528.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2301277251964953552.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2299573731666590878.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt229839004616425358.smt2 (content) ok ok 0.221s