detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.40.asp.smt2 (content) ok ok 29.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.35.asp.smt2 (content) ok ok 27.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.19.asp.smt2 (content) ok ok 19.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.11.asp.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrosesmall.5.asp.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.60.asp.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.50.asp.smt2 (content) ok ok 10.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.48.asp.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.45.asp.smt2 (content) ok ok 8.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.44.asp.smt2 (content) ok ok 9.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.35.asp.smt2 (content) ok ok 8.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.34.asp.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.31.asp.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.12.asp.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.11.asp.smt2 (content) ok ok 6.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.9.asp.smt2 (content) ok ok 26.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.54.asp.smt2 (content) ok ok 30.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.48.asp.smt2 (content) ok ok 28.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.42.asp.smt2 (content) ok ok 24.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.37.asp.smt2 (content) ok ok 25.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.20.asp.smt2 (content) ok ok 23.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.16.asp.smt2 (content) ok ok 22.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/altair1.10.asp.smt2 (content) ok ok 28.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a9.8.11.asp.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a8.7.5.asp.smt2 (content) ok ok 3s