detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_92.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_91.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_90.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_9.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_89.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_88.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_87.smt2 (content) ok ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_86.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_85.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_84.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_83.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_82.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_81.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_80.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_8.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_79.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_78.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_77.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_76.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_75.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_74.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_73.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_72.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_71.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_70.smt2 (content) ok ok 0.140s