detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304909033023034280.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2304797632488731286.smt2 (content) ok ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2302731083173693105.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt230202794975431528.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2301277251964953552.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2299573731666590878.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt229839004616425358.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2292552442657522179.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2290983429237396415.smt2 (content) ok ok 0.289s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2283324634047097920.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2276948143471267154.smt2 (content) ok ok 0.286s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2272782133795208997.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2272272411617405599.smt2 (content) ok ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2271473672508220562.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2269841425354882250.smt2 (content) ok ok 0.207s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2266117778847880444.smt2 (content) ok ok 0.278s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2263194631175294464.smt2 (content) ok ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2262129491849406136.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2259421309098882127.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2255740563793088748.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2255324810886492116.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252867488016605350.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252734838402210855.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252106606676930406.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2249441891439035139.smt2 (content) ok ok 0.145s