detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_64.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_63.smt2 (content) ok ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_62.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_61.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_60.smt2 (content) ok ok 0.053s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_6.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_59.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_58.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_57.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_56.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_55.smt2 (content) ok ok 0.057s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_54.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_53.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_52.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_51.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_50.smt2 (content) ok ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_5.smt2 (content) ok ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_49.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_48.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_47.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_46.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_45.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_44.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_43.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_42.smt2 (content) ok ok 0.041s