detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_sf_ai_00003_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_sf_ai_00003_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_sf_ai_00002_008.cvc.smt2 (content) fatal ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_sf_ai_00002_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00010_005.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00010_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00010_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00009_009.cvc.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00009_008.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00009_004.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00009_002.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00009_001.cvc.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_006.cvc.smt2 (content) fatal ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_005.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_003.cvc.smt2 (content) fatal ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_002.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00008_001.cvc.smt2 (content) fatal ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00007_009.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00007_004.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00007_003.cvc.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00007_002.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00007_001.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_invalid_t1_np_nf_ai_00006_009.cvc.smt2 (content) fatal ok 0.030s