detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=5.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=15.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=11.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=10.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in1.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/ChannelRouting/channelRoute.in3.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/Sage2/bench_9732.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_BV/Sage2/bench_9140.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/Sage2/bench_8075.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/2019-Wolf-fmbench/2018E/ponylink-slaveTXlen-unsat-unrolled-nomem.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/2019-Wolf-fmbench/2018E/ponylink-slaveTXlen-sat-unrolled-nomem.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/2019-Mann/ridecore-qf_bv-bug.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member497.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member477.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member457.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member437.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member417.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member397.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member377.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member357.smt2 (content) timout ok 1m0s
dolmen /home/guillaume/bench/smtlib/QF_ABV/platania/no_init_simple_member/no_init_simple_member337.smt2 (content) timout ok 1m0s