detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_92.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_91.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_90.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_9.smt2 (content) ok ok 0.087s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_89.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_88.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_87.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_86.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_85.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_84.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_83.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_82.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_81.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_80.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_8.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_79.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_78.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_77.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_76.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_75.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_74.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_73.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_72.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_71.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_70.smt2 (content) ok ok 0.131s