detailed results (199 total)

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