detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0360.fof.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0359.fof.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0358.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0357.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0356.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0355.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0354.fof.smt2 (content) ok ok 0.122s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0353.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0352.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0351.fof.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0350.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0349.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0348.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0347.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0346.fof.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0345.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0344.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0343.fof.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0342.fof.smt2 (content) ok ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0341.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0340.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0339.fof.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0338.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0337.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0336.fof.smt2 (content) ok ok 0.132s