detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_19.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_18.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_17.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_16.smt2 (content) ok ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_15.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_14.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_13.smt2 (content) ok ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_12.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_11.smt2 (content) ok ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_100.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_10.smt2 (content) ok ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_1.smt2 (content) ok ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_99.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_98.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_97.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_96.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_95.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_94.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_93.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_92.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_91.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_90.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_9.smt2 (content) ok ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_89.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_88.smt2 (content) ok ok 0.057s