detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0786.fof.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0785.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0784.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0783.fof.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0782.fof.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0781.fof.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0780.fof.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0779.fof.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0778.fof.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0776.fof.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0769.fof.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0762.fof.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0755.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0748.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0741.fof.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0739.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0732.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0725.fof.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0718.fof.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0711.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0704.fof.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0702.fof.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0695.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0688.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0681.fof.smt2 (content) ok ok 0.039s