|
aerospace/apollo.als
|
00:00:27
|
00:00:37
|
|
|
|
aerospace/decadal.als
|
|
|
|
|
|
aerospace/habitat.als
|
00:00:04
|
00:00:13
|
|
|
|
knapsack/knapsack_10_metrics_2.als
|
00:00:04
|
00:00:07
|
|
|
|
knapsack/knapsack_10_metrics_3.als
|
00:00:05
|
00:00:14
|
|
|
|
knapsack/knapsack_10_metrics_4.als
|
00:00:09
|
00:00:32
|
|
|
|
knapsack/knapsack_15_metrics_2.als
|
00:00:05
|
00:00:10
|
|
|
|
knapsack/knapsack_15_metrics_3.als
|
00:00:08
|
00:00:22
|
|
|
|
knapsack/knapsack_15_metrics_4.als
|
00:00:12
|
00:00:45
|
|
|
|
knapsack/knapsack_20_metrics_2.als
|
00:00:06
|
00:00:12
|
|
|
|
knapsack/knapsack_20_metrics_3.als
|
00:00:15
|
00:00:46
|
|
|
|
knapsack/knapsack_20_metrics_4.als
|
00:00:17
|
00:01:02
|
|
|
|
knapsack/knapsack_25_metrics_2.als
|
00:00:07
|
00:00:14
|
|
|
|
knapsack/knapsack_25_metrics_3.als
|
00:01:36
|
00:02:30
|
|
|
|
knapsack/knapsack_25_metrics_4.als
|
00:11:45
|
00:21:36
|
|
|
|
queens/queens_4_metrics_2.als
|
00:00:01
|
00:00:04
|
|
|
|
queens/queens_4_metrics_3.als
|
00:00:02
|
00:00:06
|
|
|
|
queens/queens_4_metrics_4.als
|
00:00:03
|
00:00:10
|
|
|
|
queens/queens_4_metrics_5.als
|
00:00:04
|
00:00:20
|
|
|
|
queens/queens_4_metrics_6.als
|
00:00:06
|
00:00:36
|
|
|
|
queens/queens_4_metrics_7.als
|
00:00:10
|
00:01:07
|
|
|
|
queens/queens_5_metrics_2.als
|
00:00:04
|
00:00:08
|
|
|
|
queens/queens_5_metrics_3.als
|
00:00:09
|
00:00:20
|
|
|
|
queens/queens_5_metrics_4.als
|
00:00:10
|
00:00:29
|
|
|
|
queens/queens_5_metrics_5.als
|
00:00:13
|
00:00:54
|
|
|
|
queens/queens_5_metrics_6.als
|
00:00:22
|
00:02:04
|
|
|
|
queens/queens_5_metrics_7.als
|
00:00:33
|
00:03:47
|
|
|
|
queens/queens_6_metrics_2.als
|
00:00:10
|
00:00:18
|
|
|
|
queens/queens_6_metrics_3.als
|
00:00:14
|
00:00:32
|
|
|
|
queens/queens_6_metrics_4.als
|
00:00:23
|
00:01:06
|
|
|
|
queens/queens_6_metrics_5.als
|
00:00:40
|
00:02:32
|
|
|
|
queens/queens_6_metrics_6.als
|
00:00:59
|
00:05:49
|
|
|
|
queens/queens_6_metrics_7.als
|
00:01:48
|
00:12:05
|
|
|
|
queens/queens_7_metrics_2.als
|
00:00:19
|
00:00:35
|
|
|
|
queens/queens_7_metrics_3.als
|
00:00:46
|
00:01:30
|
|
|
|
queens/queens_7_metrics_4.als
|
00:00:56
|
00:02:50
|
|
|
|
queens/queens_7_metrics_5.als
|
00:02:30
|
00:07:23
|
|
|
|
queens/queens_7_metrics_6.als
|
00:03:03
|
00:13:40
|
|
|
|
queens/queens_7_metrics_7.als
|
00:04:09
|
00:25:27
|
|
|
|
queens/queens_8_metrics_2.als
|
00:00:47
|
00:01:11
|
|
|
|
queens/queens_8_metrics_3.als
|
00:01:11
|
00:02:18
|
|
|
|
queens/queens_8_metrics_4.als
|
00:01:29
|
00:04:06
|
|
|
|
queens/queens_8_metrics_5.als
|
00:03:56
|
00:15:00
|
|
|
|
queens/queens_8_metrics_6.als
|
00:05:38
|
00:26:06
|
|
|
|
queens/queens_8_metrics_7.als
|
00:12:25
|
01:00:02
|
|
|
|
queens/queens_9_metrics_2.als
|
00:01:41
|
00:02:24
|
|
|
|
queens/queens_9_metrics_3.als
|
00:08:17
|
00:12:28
|
|
|
|
queens/queens_9_metrics_4.als
|
00:10:48
|
00:25:50
|
|
|
|
queens/queens_9_metrics_5.als
|
00:21:55
|
01:04:56
|
|
|
|
queens/queens_9_metrics_6.als
|
00:39:09
|
02:34:57
|
|
|
|
queens/queens_9_metrics_7.als
|
03:37:29
|
04:03:44
|
|
|
|
rooks/rooks_3_metrics_2.als
|
00:00:01
|
00:00:03
|
|
|
|
rooks/rooks_3_metrics_3.als
|
00:00:02
|
00:00:05
|
|
|
|
rooks/rooks_3_metrics_4.als
|
00:00:02
|
00:00:08
|
|
|
|
rooks/rooks_3_metrics_5.als
|
00:00:02
|
00:00:11
|
|
|
|
rooks/rooks_3_metrics_6.als
|
00:00:04
|
00:00:21
|
|
|
|
rooks/rooks_3_metrics_7.als
|
00:00:06
|
00:00:38
|
|
|
|
rooks/rooks_4_metrics_2.als
|
00:00:01
|
00:00:05
|
|
|
|
rooks/rooks_4_metrics_3.als
|
00:00:03
|
00:00:07
|
|
|
|
rooks/rooks_4_metrics_4.als
|
00:00:05
|
00:00:12
|
|
|
|
rooks/rooks_4_metrics_5.als
|
00:00:05
|
00:00:21
|
|
|
|
rooks/rooks_4_metrics_6.als
|
00:00:06
|
00:00:37
|
|
|
|
rooks/rooks_4_metrics_7.als
|
00:00:11
|
00:01:18
|
|
|
|
rooks/rooks_5_metrics_2.als
|
00:00:04
|
00:00:08
|
|
|
|
rooks/rooks_5_metrics_3.als
|
00:00:05
|
00:00:16
|
|
|
|
rooks/rooks_5_metrics_4.als
|
00:00:13
|
00:01:28
|
|
|
|
rooks/rooks_5_metrics_5.als
|
00:00:42
|
00:01:39
|
|
|
|
rooks/rooks_5_metrics_6.als
|
00:00:45
|
00:02:48
|
|
|
|
rooks/rooks_5_metrics_7.als
|
00:01:06
|
00:05:47
|
|
|
|
rooks/rooks_6_metrics_2.als
|
00:00:06
|
00:00:14
|
|
|
|
rooks/rooks_6_metrics_3.als
|
00:00:49
|
00:01:32
|
|
|
|
rooks/rooks_6_metrics_4.als
|
00:01:28
|
00:03:26
|
|
|
|
rooks/rooks_6_metrics_5.als
|
00:08:37
|
01:07:20
|
|
|
|
rooks/rooks_6_metrics_6.als
|
00:04:29
|
00:14:38
|
|
|
|
rooks/rooks_6_metrics_7.als
|
00:06:36
|
00:41:46
|
|
|
|
rooks/rooks_7_metrics_2.als
|
00:00:22
|
00:00:45
|
|
|
|
rooks/rooks_7_metrics_3.als
|
00:02:18
|
00:03:59
|
|
|
|
rooks/rooks_7_metrics_4.als
|
00:02:56
|
00:08:18
|
|
|
|
rooks/rooks_7_metrics_5.als
|
00:15:00
|
01:15:24
|
|
|
|
rooks/rooks_7_metrics_6.als
|
00:30:36
|
01:57:25
|
|
|
|
rooks/rooks_7_metrics_7.als
|
05:23:57
|
42:50:30
|
|
|
|
rooks/rooks_8_metrics_2.als
|
00:00:38
|
00:01:05
|
|
|
|
rooks/rooks_8_metrics_3.als
|
00:04:26
|
00:08:47
|
|
|
|
rooks/rooks_8_metrics_4.als
|
00:13:15
|
00:31:58
|
|
|
|
rooks/rooks_8_metrics_5.als
|
05:03:54
|
40:14:14
|
|
|
|
rooks/rooks_8_metrics_6.als
|
01:41:01
|
08:52:27
|
|
|
|
rooks/rooks_8_metrics_7.als
|
13:52:58
|
43:49:06
|
|
|
|
rooks/rooks_9_metrics_2.als
|
00:03:29
|
00:06:18
|
|
|
|
rooks/rooks_9_metrics_3.als
|
01:14:30
|
01:53:56
|
|
|
|
rooks/rooks_9_metrics_4.als
|
01:29:57
|
04:23:26
|
|
|
|
rooks/rooks_9_metrics_5.als
|
111:28:09
|
144:34:39
|
|
|
|
rooks/rooks_9_metrics_6.als
|
137:19:11
|
384:29:17
|
|
|
|
rooks/rooks_9_metrics_7.als
|
135:52:05
|
535:17:28
|
|
|
|
spl/apacheicse212/apacheicse212_01.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_02.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_03.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_07.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_09.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_10.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_11.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_12.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_13.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212_14.als
|
00:00:03
|
00:00:05
|
|
|
|
spl/apacheicse212/apacheicse212.als
|
00:00:03
|
00:00:06
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_05.als
|
00:15:34
|
00:29:44
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_16.als
|
00:07:39
|
00:18:41
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_17.als
|
00:10:59
|
00:25:04
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_19.als
|
00:07:34
|
00:18:35
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_20.als
|
00:13:41
|
00:31:31
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_25.als
|
00:10:53
|
00:23:59
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_27.als
|
00:07:42
|
00:19:17
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_30.als
|
00:14:27
|
00:32:20
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_32.als
|
00:11:49
|
00:27:32
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal_40.als
|
00:11:45
|
00:26:02
|
|
|
|
spl/berkeleydbqualityjournal/berkeleydbqualityjournal.als
|
00:05:32
|
00:12:13
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_01.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_02.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_04.als
|
00:00:14
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_05.als
|
00:00:14
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_06.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_08.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_11.als
|
00:00:25
|
00:00:57
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_13.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_14.als
|
00:00:15
|
00:00:18
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011_15.als
|
00:00:15
|
00:00:19
|
|
|
|
spl/berkeleydbsplc2011/berkeleydbsplc2011.als
|
00:00:16
|
00:00:19
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_009.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_016.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_042.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_046.als
|
00:00:26
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_098.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_137.als
|
00:00:26
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_170.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_239.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_276.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011_283.als
|
00:00:25
|
00:00:30
|
|
|
|
spl/linkedlistsplc2011/linkedlistsplc2011.als
|
00:00:31
|
00:00:36
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_14.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_18.als
|
00:00:07
|
00:00:10
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_19.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_24.als
|
00:00:07
|
00:00:10
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_33.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_37.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_38.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_40.als
|
00:00:07
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_46.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011_50.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/pkjabsplc2011/pkjabsplc2011.als
|
00:00:07
|
00:00:10
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_01.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_03.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_04.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_05.als
|
00:00:11
|
00:00:14
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_06.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_10.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_11.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_12.als
|
00:00:12
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_13.als
|
00:00:11
|
00:00:15
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011_15.als
|
00:00:11
|
00:00:14
|
|
|
|
spl/prevaylersplc2011/prevaylersplc2011.als
|
00:00:12
|
00:00:15
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_02.als
|
00:02:35
|
00:07:52
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_03.als
|
00:05:58
|
00:14:22
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_04.als
|
00:20:44
|
00:50:33
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_05.als
|
01:17:28
|
02:20:44
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_06.als
|
00:26:57
|
00:36:21
|
|
|
|
spl/SearchAndRescueSystem_ICSE2013/SearchAndRescueSystem_ICSE2013_07.als
|
01:01:46
|
01:20:52
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_022.als
|
00:01:55
|
00:02:40
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_027.als
|
00:09:55
|
00:31:20
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_031.als
|
00:01:56
|
00:02:39
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_052.als
|
00:02:06
|
00:02:53
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_094.als
|
00:02:01
|
00:02:58
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_104.als
|
00:01:57
|
00:02:44
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_123.als
|
00:01:58
|
00:02:39
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_129.als
|
00:09:01
|
00:25:21
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_148.als
|
00:09:09
|
00:26:43
|
|
|
|
spl/sqlitesplc2011/sqlitesplc2011_192.als
|
00:02:53
|
00:03:46
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_01.als
|
00:00:06
|
00:00:08
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_02.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_06.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_08.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_11.als
|
00:00:06
|
00:00:08
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_12.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_13.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_17.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_31.als
|
00:00:06
|
00:00:09
|
|
|
|
spl/zipmesplc2011/zipmesplc2011_32.als
|
00:00:06
|
00:00:08
|
|
|
|
spl/zipmesplc2011/zipmesplc2011.als
|
00:00:06
|
00:00:09
|
|
|