detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3790917423929474672.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3788605229083931020.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3787735105821395094.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3783104946343738938.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3782061170536783635.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3781608669743593697.smt2 (content) ok ok 0.299s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3779937699978846193.smt2 (content) ok ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3778856959925423206.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3775713235031917370.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3771755277117564815.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3771317232584718275.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3768917987765940612.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3766729607062593290.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3764870428715264611.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3760689089412157927.smt2 (content) ok ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3759456331826728595.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3756486384763145532.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3756092509997728374.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt375338029489325446.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3749615036515280858.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3746965718964479816.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3743986271300096455.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3741208169699049213.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3737399667259649700.smt2 (content) ok ok 0.282s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3735500867849709561.smt2 (content) ok ok 0.221s