detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_50_250_1235345753_0_k=6_unsat.gph.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_50_250_1235336870_0_k=8_sat.gph.smt2 (content) ok ok 0.944s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_45_250_1235855661_0_k=5_sat.gph.smt2 (content) ok ok 0.585s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_45_250_1235855661_0_k=4_unsat.gph.smt2 (content) ok ok 0.849s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_40_200_1235844018_0_k=5_sat.gph.smt2 (content) ok ok 0.500s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_40_200_1235844018_0_k=4_unsat.gph.smt2 (content) ok ok 0.455s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_150_500_1235354638_0_k=15_unsat.gph.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channrlRoute.in6.smt2 (content) ok ok 23.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in9.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in8.smt2 (content) ok ok 22.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in7.smt2 (content) ok ok 17.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in5.smt2 (content) ok ok 19.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in4.smt2 (content) ok ok 36.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in3.smt2 (content) ok ok 48.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in2.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in10.smt2 (content) ok ok 23.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in1.smt2 (content) ok ok 0.322s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721351180.dat.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721350404.dat.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721349794.dat.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721347806.dat.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721345259.dat.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721343626.dat.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721332568.dat.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/BlockedNQueens/156.48.1960.36.1721330060.dat.smt2 (content) ok ok 2.8s