detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_64.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_63.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_62.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_61.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_60.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_6.smt2 (content) ok ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_59.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_58.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_57.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_56.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_55.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_54.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_53.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_52.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_51.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_50.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_5.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_49.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_48.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_47.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_46.smt2 (content) ok ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_45.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_44.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_43.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_42.smt2 (content) ok ok 0.045s