detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0085.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0084.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0083.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0082.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0081.fof.smt2 (content) ok ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0080.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0079.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0078.fof.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0077.fof.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0076.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0075.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0074.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0073.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0072.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0071.fof.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0070.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0069.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0068.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0067.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0066.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0065.fof.smt2 (content) ok ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0064.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0063.fof.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0062.fof.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0061.fof.smt2 (content) ok ok 0.132s