detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_sf_ai_00002_006.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_sf_ai_00002_005.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_008.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_006.cvc.smt2 (content) fatal ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_003.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00010_001.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00009_007.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00009_006.cvc.smt2 (content) fatal ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00009_005.cvc.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00009_003.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00008_008.cvc.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00008_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00007_008.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00007_007.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00007_006.cvc.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00007_005.cvc.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_008.cvc.smt2 (content) fatal ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_007.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_006.cvc.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_005.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_003.cvc.smt2 (content) fatal ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t3_np_nf_ai_00006_001.cvc.smt2 (content) fatal ok 0.011s