detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3292597746674859147.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3287441163571661640.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3282579296144077934.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3279639694205666193.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3275125529170333911.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3271149777975346762.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3265202927699852636.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3260049637010087534.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3256388432325131999.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3254429988154195707.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3250553170672424413.smt2 (content) ok ok 0.116s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3246784154526399816.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3240388273278777528.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3237745467365525070.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3232157192874712219.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3230198085037950896.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3227769294768964401.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3224092172594859458.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3221706931296612067.smt2 (content) ok ok 0.084s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3221526887094998956.smt2 (content) ok ok 0.116s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt321311380194913942.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3212123273213293597.smt2 (content) ok ok 0.115s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3209184030318815765.smt2 (content) ok ok 0.075s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3209153943748102138.smt2 (content) ok ok 0.085s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3208359757772534004.smt2 (content) ok ok 0.077s