detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5442289238846719339.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5442174384809630909.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5437786277252102898.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt54342249586935366.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt542876406458267204.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5427234321962311434.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5425322684088529387.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5420473956073552279.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5418769207409319809.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5414835615964332598.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5411750702888311295.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5406834256209635589.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5405565373183962929.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5405128570388264421.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5400630362788983614.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5398878004379388940.smt2 (content) ok ok 0.299s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5394638596174212723.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5391972008348899311.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5390206061383034501.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5388207611885898555.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5385850113953413032.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5384916869427215640.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5384591364632599418.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5381937888265900587.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5380628067094114949.smt2 (content) ok ok 0.214s