detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/29.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/29.700.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/28.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/28.700.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/25.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/23.800.graph.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/22.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/20.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/17.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/16.800.graph.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/14.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/13.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/12.800.graph.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/11.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/10.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/09.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/08.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/07.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/05.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/04.700.graph.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/parity/03.800.graph.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/WireRouting/wire.17.x.17.b.10.a.25_unsat.data.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/WireRouting/wire.16.x.16.b.5.a.30_sat.data.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/WireRouting/wire.16.x.16.b.5.a.25_sat.data.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_22_22_19.lp.smt2 (content) timout ok 1m0.4s