detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storecomm/storecomm_invalid_t1_np_nf_ai_00050_006.cvc.smt2 (content) fatal ok 0.031s
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/UltimateAutomizer/test-0134_true-valid-memsafety.i.smt2 (content) fatal ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_41.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_39.smt2 (content) fatal ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_38.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_37.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_117.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_116.smt2 (content) fatal ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_115.smt2 (content) fatal ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_114.smt2 (content) fatal ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_113.smt2 (content) fatal ok 0.043s