detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1628.corecstrs.readable.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1627.corecstrs.readable.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1626.corecstrs.readable.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1598.corecstrs.readable.smt2 (content) fatal ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1597.corecstrs.readable.smt2 (content) fatal ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1596.corecstrs.readable.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1595.corecstrs.readable.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1594.corecstrs.readable.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1590.corecstrs.readable.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1589.corecstrs.readable.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1588.corecstrs.readable.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1576.corecstrs.readable.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1575.corecstrs.readable.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1574.corecstrs.readable.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1573.corecstrs.readable.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1572.corecstrs.readable.smt2 (content) fatal ok 0.187s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1568.corecstrs.readable.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1567.corecstrs.readable.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1566.corecstrs.readable.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1557.corecstrs.readable.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1556.corecstrs.readable.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1555.corecstrs.readable.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1554.corecstrs.readable.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1553.corecstrs.readable.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1552.corecstrs.readable.smt2 (content) fatal ok 0.126s