detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt424406204151603356.smt2 (content) ok ok 0.159s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4243828519571430523.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4243698327582309394.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4243065834464963026.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4243064579383177851.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4239356771885373337.smt2 (content) ok ok 0.117s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt423079377060012775.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4228276744528095766.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4226185766958873074.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4225171108635254801.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4223965166285594372.smt2 (content) ok ok 0.154s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt42208811389054149.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4215978170547920965.smt2 (content) ok ok 0.164s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4214870675514843287.smt2 (content) ok ok 0.161s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4213031790546145760.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4213022824771684467.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4211882675554830433.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4211375840422985951.smt2 (content) ok ok 0.161s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4208870736112089336.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4208471672338948748.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4207124295735941516.smt2 (content) ok ok 0.122s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4202228420593879115.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4196477424865395514.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4195793235092125316.smt2 (content) ok ok 0.153s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt419180254188613581.smt2 (content) ok ok 0.121s