detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7797650775736951964.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt778745206114439721.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7783016707720877769.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7782214752323793418.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7782017222875035648.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7779327560474263241.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7777530988239987207.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt777451777040543348.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7774264002007451028.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7766869764058755710.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7766509857615746505.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt776534273661115206.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7759702553120959092.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7759660174828752333.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7758897497916255291.smt2 (content) ok ok 0.114s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7758173708918816409.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7754849270211997777.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7750114618996056970.smt2 (content) ok ok 0.115s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7747583287911696602.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7742919240985401491.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7742438969422898274.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7740471344064937416.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7739234126549110143.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7734021898012372390.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7729254304638614579.smt2 (content) ok ok 0.151s