detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1320.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1319.fof.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1318.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1317.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1316.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1315.fof.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1314.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1313.fof.smt2 (content) ok ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1312.fof.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1311.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1310.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1309.fof.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1308.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1307.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1306.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1305.fof.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1304.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1303.fof.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1302.fof.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1301.fof.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1300.fof.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1299.fof.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1298.fof.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1297.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1296.fof.smt2 (content) ok ok 0.131s