detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0406.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0399.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0392.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0385.fof.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0378.fof.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0371.fof.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0369.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0362.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0355.fof.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0348.fof.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0341.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0334.fof.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0332.fof.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0325.fof.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0318.fof.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0311.fof.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0304.fof.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0297.fof.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0296.fof.smt2 (content) ok ok 0.026s
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