detailed results (644 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_consistent_4.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_consistent_3.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_consistent_2.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_consistent_1.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c_372.smt2 (content) fatal ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c_2.smt2 (content) fatal ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/filter2_reinit_true-unreach-call.c_7.smt2 (content) fatal ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/cos_polynomial_true-unreach-call.c_9.smt2 (content) fatal ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/check2/symbols.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_19.lp.smt2 (content) fatal ok 2m42.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_17.lp.smt2 (content) fatal ok 2m47.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_16.lp.smt2 (content) fatal ok 2m38.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_15.lp.smt2 (content) fatal ok 2m43.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_19_19_14.lp.smt2 (content) fatal ok 2m51.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_14.lp.smt2 (content) fatal ok 2m26s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_13.lp.smt2 (content) fatal ok 2m15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_11.lp.smt2 (content) fatal ok 2m15s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_18_18_04.lp.smt2 (content) fatal ok 2m55s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_17_17_09.lp.smt2 (content) fatal ok 2m0.1s