detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1260905276147224096.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1260347390716988598.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1258669583418759631.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1257690625067871865.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1255507345037622764.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1249642844405054395.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1243926961438708970.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1243292741043783809.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1242368360883730166.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1240613972715446421.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1240354205745436285.smt2 (content) ok ok 0.369s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1238824674537984711.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1238392701218460929.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt123675824527167123.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1235245674716196357.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1231654042192635708.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1222172924930296425.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1220722083703635536.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1220699141798901390.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1218456647866960210.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt121642227126350719.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1216202956579864973.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1215228672613842666.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1215012585782349033.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1209603177699802460.smt2 (content) ok ok 0.226s