detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1459.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1458.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1457.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1455.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1454.fof.smt2 (content) ok ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1453.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1452.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1451.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1450.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1449.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1448.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1447.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1446.fof.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1445.fof.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1444.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1443.fof.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1442.fof.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1441.fof.smt2 (content) ok ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1440.fof.smt2 (content) ok ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1439.fof.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1438.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1437.fof.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1436.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1435.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1434.fof.smt2 (content) ok ok 0.100s