detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1139.fof.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1132.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1125.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1118.fof.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1111.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1109.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1102.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1095.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1088.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1081.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1074.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1073.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1072.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1071.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1070.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1069.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1068.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1067.fof.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1066.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1065.fof.smt2 (content) ok ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1064.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1063.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1062.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1061.fof.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1060.fof.smt2 (content) ok ok 0.128s