detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4827225259784242858.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4820080303689730900.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4814266487365657695.smt2 (content) ok ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4812716698279247676.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt481251370334843030.smt2 (content) ok ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4810465551639907873.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4810038509754152919.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4809543988069777244.smt2 (content) ok ok 0.285s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4806190877503280884.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4805037150650244878.smt2 (content) ok ok 0.372s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4800834229384480206.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4799749845956328260.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4798313681872471819.smt2 (content) ok ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt47951124133018338.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4783617631124672748.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4774561638585527973.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4773935331339704456.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4770015341582866828.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4767614291706209016.smt2 (content) ok ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4762333614958780116.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4761246044797670483.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4760609181560386022.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4760396952449758656.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt475320346221966372.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4749055402148296378.smt2 (content) ok ok 0.216s