detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0790.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0789.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0788.fof.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0787.fof.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0786.fof.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0785.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0784.fof.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0783.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0782.fof.smt2 (content) ok ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0781.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0780.fof.smt2 (content) ok ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0779.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0778.fof.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0777.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0776.fof.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0775.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0774.fof.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0773.fof.smt2 (content) ok ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0772.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0771.fof.smt2 (content) ok ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0770.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0769.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0768.fof.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0767.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/quaternion_ds1_symm_0766.fof.smt2 (content) ok ok 0.095s