排行榜数据
需积分: 9 105 浏览量
2021-02-27
02:54:07
上传
评论
收藏 79KB ZIP 举报
leaderboardData-main.zip （18个子文件） 
leaderboardData-main data 
benchmarks.csv 31KB Marabou%%Thu_Feb_18_22:41:56_2021_-0800%%a2e1bb5f6d4a5ab5f410d92e68879102a7a7c91c%%--verbosity=0+--milp-tightening=none+--milp%%5100 115KB SOI%%Thu_Feb_18_16:08:26_2021_-0800%%ab4ba7b2b3b2451c344af126e49d7a03b434d345%%--verbosity=0+--mcmc-beta=1.5%%5100 102KB SOI%%Thu_Feb_18_16:08:26_2021_-0800%%ab4ba7b2b3b2451c344af126e49d7a03b434d345%%--verbosity=0+--mcmc-beta=1.5+--branch=earliest-relu%%5100 119KB SOI%%Thu_Feb_18_16:08:26_2021_-0800%%ab4ba7b2b3b2451c344af126e49d7a03b434d345%%--verbosity=0+--mcmc-beta=0.5%%5100 102KB ERAN%%Wed_Feb_17_13:58:32_2021_-0800%%0be1a470a8439cde16950a7dddf7533d99ec6192%%--domain=refinepoly+--numproc=1%%5100 104KB ERAN%%Wed_Feb_17_13:58:32_2021_-0800%%0be1a470a8439cde16950a7dddf7533d99ec6192%%--domain=deeppoly+--numproc=1%%5100 102KB LICENSE 1KB .gitignore 2B data_test MIPVerify%%Tue_Sep_29_22:53:21_2020_-0700%%bc88b7a03f03c5ce320ab3caf1f14ee85bf07e38%%--tightening=mip+--timeout_per_node=10%%1200 541B benchmarks.csv 119B Marabou%%Sun_Nov_1_21:26:54_2020_-0800%%18548aa2e9a30cc072609e1d5cf55db67a874105%%--verbosity=2%%1200 547B MIPVerify%%Tue_Sep_29_22:53:21_2020_-0700%%bc88b7a03f03c5ce320ab3caf1f14ee85bf07e38%%--tightening=lp%%1200 405B Marabou%%Sun_Dec_23_21:26:54_2019_-0800%%18548aa2e9a30cc072609e1d5cf55db67a874105%%--num-workers=4+--initial-divides=3+--snc%%1200 552B MIPVerify%%Tue_Sep_29_22:53:21_2020_-0700%%bc88b7a03f03c5ce320ab3caf1f14ee85bf07e38%%--tightening=mip+--timeout_per_node=1%%1200 538B Marabou%%Sun_Nov_1_21:26:54_2020_-0800%%18548aa2e9a30cc072609e1d5cf55db67a874105%%--num-workers=4+--initial-divides=3+--snc%%1200 546B scripts pushNewData.sh 73B compare_results.py 11KB资源评论
