detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3846518734287114466.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3842065253482434564.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3839574174608387027.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3834103972384347918.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831606569552854396.smt2 (content) ok ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831472737192713275.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831182600385873193.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3824683206604740493.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3821219509484327065.smt2 (content) ok ok 0.284s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt381913016975597559.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3816917006742544373.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3816823999281276747.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3814395169389039830.smt2 (content) ok ok 0.288s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3812759814701466149.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt381193304133222081.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3806861003967363068.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt380287508906318396.smt2 (content) ok ok 0.207s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3793100985651008744.smt2 (content) ok ok 0.237s
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