detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1551.corecstrs.readable.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1550.corecstrs.readable.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/851.corecstrs.readable.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/849.corecstrs.readable.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/846.corecstrs.readable.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/845.corecstrs.readable.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/843.corecstrs.readable.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/840.corecstrs.readable.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/839.corecstrs.readable.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/838.corecstrs.readable.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/827.corecstrs.readable.smt2 (content) fatal ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/826.corecstrs.readable.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/825.corecstrs.readable.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/824.corecstrs.readable.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/823.corecstrs.readable.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/822.corecstrs.readable.smt2 (content) fatal ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/821.corecstrs.readable.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/820.corecstrs.readable.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/812.corecstrs.readable.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/811.corecstrs.readable.smt2 (content) fatal ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/809.corecstrs.readable.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/big/808.corecstrs.readable.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-76.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-69.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-68.smt2 (content) fatal ok 0.121s