detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8873714405967087274.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8873676057938640477.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8872740925179026116.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt887003071505160025.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8868149726196120566.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8867152789064630916.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8865956595536504355.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt886115705970430709.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8853234549256412013.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8852248892722270488.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt885197690523683309.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8850178979943358314.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8850102923998579844.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8849302628236017311.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8847557206204575073.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8844506581217694101.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8843328791372704806.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8842787988687461121.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8840133429076744396.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8839582396292960492.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8838642252938930596.smt2 (content) ok ok 0.373s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8837512230626086889.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8836458801955018840.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8836056332620215208.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt883595953893691400.smt2 (content) ok ok 0.156s