detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0160.fof.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0159.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0158.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0157.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0156.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0155.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0154.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0153.fof.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0152.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0151.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0150.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0149.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0148.fof.smt2 (content) ok ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0147.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0146.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0145.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0144.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0143.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0142.fof.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0141.fof.smt2 (content) ok ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0140.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0139.fof.smt2 (content) ok ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0138.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0137.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0136.fof.smt2 (content) ok ok 0.130s