detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_24.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_23.smt2 (content) ok ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_22.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_21.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_20.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_2.smt2 (content) ok ok 0.086s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_19.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_18.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_17.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_16.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_15.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_14.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_13.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_12.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_11.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_100.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_10.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_1.smt2 (content) ok ok 0.086s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_99.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_98.smt2 (content) ok ok 0.192s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_97.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_96.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_95.smt2 (content) ok ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_94.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_93.smt2 (content) ok ok 0.103s