detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_7.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_69.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_68.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_67.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_66.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_65.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_64.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_63.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_62.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_61.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_60.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_6.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_59.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_58.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_57.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_56.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_55.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_54.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_53.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_52.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_51.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_50.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_5.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_49.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_48.smt2 (content) ok ok 0.095s