detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00050_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00040_007.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00040_006.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00030_007.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00020_008.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00020_007.cvc.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00020_005.cvc.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00020_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00010_007.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00010_006.cvc.smt2 (content) fatal ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00010_005.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00010_002.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00010_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/cvc/read5.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.9.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.8.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.7.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.6.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.5.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.30.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.29.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.28.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.27.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.26.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.25.smt2 (content) ok ok 0.116s