detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0665.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0664.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0663.fof.smt2 (content) ok ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0662.fof.smt2 (content) ok ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0661.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0660.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0659.fof.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0658.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0657.fof.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0656.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0655.fof.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0654.fof.smt2 (content) ok ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0653.fof.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0652.fof.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0651.fof.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0650.fof.smt2 (content) ok ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0649.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0648.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0647.fof.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0646.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0645.fof.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0644.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0643.fof.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0642.fof.smt2 (content) ok ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0641.fof.smt2 (content) ok ok 0.095s