detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7127815792953241589.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7127807059490977370.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7125819644869174498.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7118093838775135944.smt2 (content) ok ok 0.121s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7117186232635516638.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7108306969821005758.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7106093597011515590.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7102315967699315061.smt2 (content) ok ok 0.117s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7098157469481043198.smt2 (content) ok ok 0.089s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7085081933239444068.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7083335935051644341.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7067989714567844742.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7066183365282370005.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7065568697274987583.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7058025092342497696.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7053543544046587715.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7053387603444911240.smt2 (content) ok ok 0.166s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7048263657008436784.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7047273536562224682.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt704341423487980174.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7042995101121761194.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7041959322817579264.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7040440882532018206.smt2 (content) ok ok 0.115s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7040244349168230750.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt7029299371225839477.smt2 (content) ok ok 0.093s