detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0295.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0294.fof.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0293.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0292.fof.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0291.fof.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0290.fof.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0289.fof.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0288.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0287.fof.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0286.fof.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0285.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0284.fof.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0283.fof.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0282.fof.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0281.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0280.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0279.fof.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0278.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0277.fof.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0276.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0275.fof.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0274.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0273.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0272.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0271.fof.smt2 (content) ok ok 0.068s