detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00010_009.cvc.smt2 (content) fatal ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00010_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00010_006.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_sf_ai_00010_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00060_008.cvc.smt2 (content) fatal ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00060_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00060_003.cvc.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00050_007.cvc.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00050_006.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00050_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00050_001.cvc.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00040_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00040_006.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00040_003.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00020_005.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00020_003.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t2_np_nf_ai_00020_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00060_005.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00060_004.cvc.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00060_003.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00050_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00050_004.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00050_003.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00050_002.cvc.smt2 (content) fatal ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_t1_np_sf_ai_00050_001.cvc.smt2 (content) fatal ok 0.037s