detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/misc/arr2.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999675148899312327.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999236656072022031.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt998142315000427130.smt2 (content) ok ok 0.122s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt995816553409726390.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt994705122280714089.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt994570474746358424.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt99285146508335158.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt986275310963196881.smt2 (content) ok ok 0.158s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt985063849066820630.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt984321881863088897.smt2 (content) ok ok 0.113s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt974701918420822184.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt974682587738003189.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt966044474995992364.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt962592699688307113.smt2 (content) ok ok 0.109s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt962018517954220555.smt2 (content) ok ok 0.125s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt959378924819336699.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt957390636032490963.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt95132231601938496.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt950410904555746654.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt94429560691106628.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt94144166479236163.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt938193401675797459.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt937822000364417914.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt932472446155105561.smt2 (content) ok ok 0.105s