detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_47.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_46.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_45.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_44.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_43.smt2 (content) ok ok 0.196s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_42.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_41.smt2 (content) ok ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_40.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_4.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_39.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_38.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_37.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_36.smt2 (content) ok ok 0.087s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_35.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_34.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_33.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_32.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_31.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_30.smt2 (content) ok ok 0.087s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_3.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_29.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_28.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_27.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_26.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_25.smt2 (content) ok ok 0.088s