detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_09.lp.smt2 (content) fatal ok 2m0.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_07.lp.smt2 (content) fatal ok 2m33.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_02.lp.smt2 (content) fatal ok 2m16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in10.smt2 (content) fatal ok 1m27.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in09.smt2 (content) fatal ok 1m29s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=9.smt2 (content) fatal ok 1m23.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=8.smt2 (content) fatal ok 1m56.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=7.smt2 (content) fatal ok 1m11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=15.smt2 (content) fatal ok 1m29.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2 (content) fatal ok 1m16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2 (content) fatal ok 1m55.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=11.smt2 (content) fatal ok 1m41.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=10.smt2 (content) fatal ok 1m40.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in1.smt2 (content) fatal ok 2m44.6s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_009.cvc.smt2 (content) fatal ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_008.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00009_009.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00009_004.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00007_008.cvc.smt2 (content) fatal ok 0.031s