detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t2_np_sf_ai_00001_001.cvc.smt2 (content) fatal ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t2_np_nf_ai_00007_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t2_np_nf_ai_00004_001.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t2_np_nf_ai_00003_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t2_np_nf_ai_00001_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_sf_ai_00009_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_sf_ai_00007_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_sf_ai_00006_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_sf_ai_00004_001.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_sf_ai_00002_001.cvc.smt2 (content) fatal ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t1_np_nf_ai_00002_001.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_sf_ai_00007_001.cvc.smt2 (content) fatal ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_sf_ai_00004_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_sf_ai_00003_001.cvc.smt2 (content) fatal ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_nf_ai_00008_001.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_nf_ai_00006_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_nf_ai_00004_001.cvc.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t3_np_nf_ai_00002_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00010_001.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00009_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00008_001.cvc.smt2 (content) fatal ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00006_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00005_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_sf_ai_00002_001.cvc.smt2 (content) fatal ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_invalid_t1_np_nf_ai_00010_001.cvc.smt2 (content) fatal ok 0.030s