detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_24.smt2 (content) ok ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_23.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_22.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_21.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_20.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_19.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_18.smt2 (content) ok ok 0.088s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_17.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_16.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_15.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_14.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_13.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_12.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_11.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_100.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_sat_10.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0017.fof.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0015.fof.smt2 (content) ok ok 0.194s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0013.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0010.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0009.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0008.fof.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0007.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0006.fof.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0005.fof.smt2 (content) ok ok 0.092s