detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0604d7.smt2 (content) warn ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib05f5e9.smt2 (content) warn ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib050878.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib04ef21.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0485a9.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib04763c.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib044ebc.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0442ea.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib042dfe.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0414d8.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib039404.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib032bc1.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib03210b.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib02f905.smt2 (content) warn ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib02ad30.smt2 (content) warn ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib024227.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib023915.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib016c3c.smt2 (content) warn ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib00fdf1.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib00eff8.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib009d7c.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib009aaf.smt2 (content) warn ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib00586f.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0038be.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/why/smtlib0016dd.smt2 (content) warn ok 0.131s