detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00006_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_008.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_006.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_005.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_003.cvc.smt2 (content) fatal ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00005_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00004_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00004_006.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00004_005.cvc.smt2 (content) fatal ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00004_003.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00004_002.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00003_005.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00003_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00003_001.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00002_006.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_sf_ai_00010_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_sf_ai_00008_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_sf_ai_00005_001.cvc.smt2 (content) fatal ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_sf_ai_00003_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_nf_ai_00010_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_nf_ai_00009_001.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_nf_ai_00008_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_nf_ai_00006_001.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/storeinv/storeinv_t3_np_nf_ai_00005_001.cvc.smt2 (content) fatal ok 0.034s