detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0865.fof.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0864.fof.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0863.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0862.fof.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0861.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0860.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0859.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0858.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0857.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0856.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0855.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0854.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0853.fof.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0852.fof.smt2 (content) ok ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0851.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0850.fof.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0849.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0848.fof.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0847.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0846.fof.smt2 (content) ok ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0845.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0844.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0843.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0842.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0841.fof.smt2 (content) ok ok 0.104s