detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8020508299917860570.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8015527331613978544.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt801040542287693168.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8009596421545456922.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8008381551227752406.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8008269872868631740.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8000292260679864780.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7998238949996258771.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7996230055754501691.smt2 (content) ok ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7988965106645668668.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7985763393967210465.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7978020479405262569.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7970482594713210602.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7969211212688584438.smt2 (content) ok ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7967356370276691109.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt796573878086928141.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7963525263256238841.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7962046500173186417.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7960738145712222108.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt79587637507100925.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7953391969775697565.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7952528410960702478.smt2 (content) ok ok 0.289s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7942912566904934055.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7938188253170750235.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7934139958564308856.smt2 (content) ok ok 0.224s