detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/misc/arr2.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999675148899312327.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999236656072022031.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt998142315000427130.smt2 (content) ok ok 0.289s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt995816553409726390.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt994705122280714089.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt994570474746358424.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt99285146508335158.smt2 (content) ok ok 0.294s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt986275310963196881.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt985063849066820630.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt984321881863088897.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt974701918420822184.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt974682587738003189.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt966044474995992364.smt2 (content) ok ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt962592699688307113.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt962018517954220555.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt959378924819336699.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt957390636032490963.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt95132231601938496.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt950410904555746654.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt94429560691106628.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt94144166479236163.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt938193401675797459.smt2 (content) ok ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt937822000364417914.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt932472446155105561.smt2 (content) ok ok 0.222s