detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0008.fof.smt2 (content) ok ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0007.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0006.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0005.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0004.fof.smt2 (content) ok ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0003.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/cl5_nebula_init_0002.fof.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0413.fof.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0412.fof.smt2 (content) ok ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0411.fof.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0410.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0407.fof.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0406.fof.smt2 (content) ok ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0405.fof.smt2 (content) ok ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0380.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0379.fof.smt2 (content) ok ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0378.fof.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0377.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0374.fof.smt2 (content) ok ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0373.fof.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0372.fof.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0347.fof.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0345.fof.smt2 (content) ok ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0314.fof.smt2 (content) ok ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0312.fof.smt2 (content) ok ok 0.146s