detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_7.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_69.smt2 (content) ok ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_68.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_67.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_66.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_65.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_64.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_63.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_62.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_61.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_60.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_6.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_59.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_58.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_57.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_56.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_55.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_54.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_53.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_52.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_51.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_50.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_5.smt2 (content) ok ok 0.087s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_49.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_48.smt2 (content) ok ok 0.127s