detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00030_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00020_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00020_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00020_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00020_006.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00010_009.cvc.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00010_005.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00010_003.cvc.smt2 (content) fatal ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t3_np_nf_ai_00010_002.cvc.smt2 (content) fatal ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00060_009.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00060_001.cvc.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00050_009.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00050_007.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00050_005.cvc.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00040_005.cvc.smt2 (content) fatal ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00040_003.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00040_002.cvc.smt2 (content) fatal ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00030_009.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00030_006.cvc.smt2 (content) fatal ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00030_005.cvc.smt2 (content) fatal ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00030_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00020_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00020_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00020_006.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00020_002.cvc.smt2 (content) fatal ok 0.031s