【文件属性】：
文件名称：排行榜数据
文件大小：79KB
文件格式：ZIP
更新时间：2021-02-27 02:54:07
Python
排行榜数据
【文件预览】：
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)