detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0674.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0667.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0665.fof.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0658.fof.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0651.fof.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0644.fof.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0637.fof.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0630.fof.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0628.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0621.fof.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0614.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0607.fof.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0600.fof.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0593.fof.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0591.fof.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0584.fof.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0577.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0570.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0563.fof.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0556.fof.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0555.fof.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0554.fof.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0553.fof.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0552.fof.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0551.fof.smt2 (content) ok ok 0.031s