detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt9023202453639121296.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt9021836510277641217.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt9008971064966552750.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt900761218405373209.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt9004540360775044774.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt900440908860097853.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt9002998306834264222.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8997251058166686945.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8991373658659133990.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8988721452582387677.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8986685710648936358.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt898237451114670826.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8980454947450722777.smt2 (content) ok ok 0.122s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8978835732689795851.smt2 (content) ok ok 0.166s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt897850340083382083.smt2 (content) ok ok 0.115s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8978233806343968130.smt2 (content) ok ok 0.162s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8977513077630959605.smt2 (content) ok ok 0.109s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8973202567741356819.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8972912781152824668.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8961875129792388963.smt2 (content) ok ok 0.122s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8956993369937446946.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8954929576628797369.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8951697197721250758.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8947194882822722069.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8946522423404837877.smt2 (content) ok ok 0.169s