detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4543254125557905716.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4539576128811607515.smt2 (content) ok ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4532455464367731370.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4531886051849427033.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4531298338524269383.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4531048458054479914.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4530355725260241932.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4529185478833891484.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4526431177295973895.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4523559556637981815.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4518352772574163806.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4518288282830329457.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4517125900103311297.smt2 (content) ok ok 0.369s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4515530455499416774.smt2 (content) ok ok 0.293s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4511289061169972719.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4509386517399123898.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4506414716777787953.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4505714063522592669.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4498701049979871204.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4489722312705277948.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4484422072748674537.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt448437746126787728.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt448276078737243011.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4482052332246544190.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4481118968210909523.smt2 (content) ok ok 0.156s