detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1724041014723681984.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1722712627999519584.smt2 (content) ok ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1720700923077253055.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1719720236211063551.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1716447196057858777.smt2 (content) ok ok 0.289s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1711665778646046098.smt2 (content) ok ok 0.294s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1707526664716425712.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1707357874022860235.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1705031884349832005.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1703725045934924777.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1701644055556212792.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1701469520431276960.smt2 (content) ok ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1700905897068632199.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1698635312226909992.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt169715313540753745.smt2 (content) ok ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt16954071227672676.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1695051411951215049.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1694581016060430945.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1694395770688295232.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1692552618156290816.smt2 (content) ok ok 0.374s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1692021106908842886.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1687255336582796760.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1686887719881088002.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1682968173857036222.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1680693701590324437.smt2 (content) ok ok 0.246s