detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2418928303505186581.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2416692991272244654.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt241546503111609408.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2409806461492939768.smt2 (content) ok ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2407406017243429526.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2407330481489998683.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2406509990030650229.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2402903614598425867.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2393992315947387625.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2393440608522483944.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2390682939000949932.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt237961283409798477.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2379564348798503952.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2379126408932309269.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2378614410218786924.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2370683544275539232.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2370544397179389760.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt236894421645368568.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2368443773969618011.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2367432666911337979.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2362468789284467647.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2360278868664024820.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2351622219240222331.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2347251864464298042.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2340180368009370875.smt2 (content) ok ok 0.154s