detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6078088348337582015.smt2 (content) ok ok 0.123s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6077330197574078619.smt2 (content) ok ok 0.080s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt607680779327675010.smt2 (content) ok ok 0.183s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6072785294469569234.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6070397025126112364.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6066830855128752203.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6064624465567217166.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6061736831979902352.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6058658367073446931.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6056029217640076179.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt605545109834544251.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt605499856527101602.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6054610598321360607.smt2 (content) ok ok 0.113s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6053549418361700032.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6051205429772842631.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6050016923996116580.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6047439953553617914.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6046433447372858309.smt2 (content) ok ok 0.115s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt604238708306251140.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6033697067892402087.smt2 (content) ok ok 0.129s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6026438722480841285.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6026017159643362589.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6025136117177069457.smt2 (content) ok ok 0.081s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6024050464617281973.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6022516407025149263.smt2 (content) ok ok 0.091s