detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.8.tweaked.1.asp.smt2 (content) ok ok 25.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.5.asp.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.4.asp.smt2 (content) ok ok 29s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.2.asp.smt2 (content) ok ok 18.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.4.tweaked.5.asp.smt2 (content) ok ok 28.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.4.tweaked.4.asp.smt2 (content) ok ok 18.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.3.tweaked.3.asp.smt2 (content) ok ok 30s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.3.asp.smt2 (content) ok ok 28.4s