detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-full_str_int/py-conbyte_cvc4/lib_int-ipaddress__ip_int_from_string/11.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-full_str_int/py-conbyte_cvc4/lib_int-ipaddress__ip_int_from_string/108.smt2 (content) fatal ok 0.263s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-full_str_int/py-conbyte_cvc4/lib_int-ipaddress__ip_int_from_string/107.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-full_str_int/py-conbyte_cvc4/lib_int-ipaddress__ip_int_from_string/101.smt2 (content) fatal ok 0.191s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-full_str_int/py-conbyte_cvc4/lib_int-ipaddress__ip_int_from_string/100.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-Leetcode/findSubstring/457525b18f30bd4d91c849d1a23df0465f7e0b992050bd5d74e189b1.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2019-Leetcode/findSubstring/38694d4a33d4012c471dc8e526f3f3fc3ccddb5579ca7da254194e54.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/2010.corecstrs.readable.smt2 (content) fatal ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/2009.corecstrs.readable.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/2008.corecstrs.readable.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/2007.corecstrs.readable.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1997.corecstrs.readable.smt2 (content) fatal ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1911.corecstrs.readable.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1910.corecstrs.readable.smt2 (content) fatal ok 0.111s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1909.corecstrs.readable.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1908.corecstrs.readable.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1907.corecstrs.readable.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1886.corecstrs.readable.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1885.corecstrs.readable.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1884.corecstrs.readable.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1637.corecstrs.readable.smt2 (content) fatal ok 0.331s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1636.corecstrs.readable.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1635.corecstrs.readable.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1634.corecstrs.readable.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/20180523-Reynolds/kaluza/sat/small/1633.corecstrs.readable.smt2 (content) fatal ok 0.170s