Rodin Performances - Revision history

imported>Nicolas: /* Results */

2011-06-17T08:43:44Z

Results

← Older revision		Revision as of 08:43, 17 June 2011
Line 243:		Line 243:
	\| 21.8 s		\| 21.8 s
	\| 33.7 s		\| 33.7 s
	\| 30.9 s		\| 30.7 s
	\|-		\|-
	\| Parser		\| Parser
Line 251:		Line 251:
	\| 38.9 s		\| 38.9 s
	\| 16.9 s		\| 16.9 s
	\| 11.2 s		\| 11.1 s
	\|-		\|-
	\| Builder / models only		\| Builder / models only
Line 259:		Line 259:
	\| 206.7 s		\| 206.7 s
	\| 32.5 s		\| 32.5 s
	\| s		\| 33.1 s
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
Line 267:		Line 267:
	\| 633.4 s (1550 / 2911 POs)		\| 633.4 s (1550 / 2911 POs)
	\| 505.5 s (1574 / 2911 POs)		\| 505.5 s (1574 / 2911 POs)
	\| s		\| 477.2 s (1574 / 2911 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 275:		Line 275:
	\| 204.9 s		\| 204.9 s
	\| 126.5 s		\| 126.5 s
	\| s		\| 111.9 s
	\|-		\|-
	\| Builder / models only		\| Builder / models only
Line 283:		Line 283:
	\| 2401 ms		\| 2401 ms
	\| 839 ms		\| 839 ms
	\| ms		\| 855 ms
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
Line 291:		Line 291:
	\| 3888 ms (237 / 237 POs)		\| 3888 ms (237 / 237 POs)
	\| 3413 ms (237 / 237 POs)		\| 3413 ms (237 / 237 POs)
	\| ms		\| 2536 ms (237 / 237 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 299:		Line 299:
	\| 3287 ms		\| 3287 ms
	\| 2050 ms		\| 2050 ms
	\| ms		\| 1982 ms
	\|-		\|-
	\| Builder / models only		\| Builder / models only
Line 307:		Line 307:
	\| 89.7 s		\| 89.7 s
	\| 9.8 s		\| 9.8 s
	\| s		\| 10.1 s
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
Line 315:		Line 315:
	\| 185.8 s (1218 / 1360 POs)		\| 185.8 s (1218 / 1360 POs)
	\| 167.2 s (1218 / 1360 POs)		\| 167.2 s (1218 / 1360 POs)
	\| s		\| 165.9 s (1218 / 1360 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 323:		Line 323:
	\| 147.0 s		\| 147.0 s
	\| 106.9 s		\| 106.9 s
	\| s		\| 82.3 s
	\|-		\|-
	\| Builder / models only		\| Builder / models only
Line 331:		Line 331:
	\| 195.6 s		\| 195.6 s
	\| 49.1 s		\| 49.1 s
	\| s		\| 53.1 s
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
Line 339:		Line 339:
	\| 377.7 s (2381 / 2595 POs)		\| 377.7 s (2381 / 2595 POs)
	\| 271.6 s (2381 / 2595 POs)		\| 271.6 s (2381 / 2595 POs)
	\| s ( / 2595 POs)		\| 308.8 s (2381 / 2595 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 347:		Line 347:
	\| 231.2 s		\| 231.2 s
	\| 148.0 s		\| 148.0 s
	\| s		\| 141.0 s
	\|-		\|-
	\| Builder / models only		\| Builder / models only
Line 355:		Line 355:
	\| 210.0 s		\| 210.0 s
	\| 54.1 s		\| 54.1 s
	\| s		\| 56.2 s
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
Line 363:		Line 363:
	\| 367.3 s (1209 / 1370 POs)		\| 367.3 s (1209 / 1370 POs)
	\| 243.5 s (1209 / 1370 POs)		\| 243.5 s (1209 / 1370 POs)
	\| s ( / 1370 POs)		\| 262.3 s (1209 / 1370 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 371:		Line 371:
	\| 230.9 s		\| 230.9 s
	\| 146.6 s		\| 146.6 s
	\| s		\| 150.4 s
	\|}		\|}

imported>Nicolas: /* Results */ added results for 2.1 / config 2

2011-05-19T22:05:43Z

Results: added results for 2.1 / config 2

← Older revision		Revision as of 22:05, 19 May 2011
Line 258:		Line 258:
	\| 124.2 s		\| 124.2 s
	\| 206.7 s		\| 206.7 s
	\| s		\| 32.5 s
	\| s		\| s
	\|-		\|-
Line 266:		Line 266:
	\| 356.7 s (1550 / 2911 POs)		\| 356.7 s (1550 / 2911 POs)
	\| 633.4 s (1550 / 2911 POs)		\| 633.4 s (1550 / 2911 POs)
	\| s ( / 2911 POs)		\| 505.5 s (1574 / 2911 POs)
	\| s		\| s
	\|-		\|-
Line 274:		Line 274:
	\| 120.7 s		\| 120.7 s
	\| 204.9 s		\| 204.9 s
	\| s		\| 126.5 s
	\| s		\| s
	\|-		\|-
Line 282:		Line 282:
	\| 1913 ms		\| 1913 ms
	\| 2401 ms		\| 2401 ms
	\| ms		\| 839 ms
	\| ms		\| ms
	\|-		\|-
Line 290:		Line 290:
	\| 3934 ms (237 / 237 POs)		\| 3934 ms (237 / 237 POs)
	\| 3888 ms (237 / 237 POs)		\| 3888 ms (237 / 237 POs)
	\| ms (237 / 237 POs)		\| 3413 ms (237 / 237 POs)
	\| ms		\| ms
	\|-		\|-
Line 298:		Line 298:
	\| 2688 ms		\| 2688 ms
	\| 3287 ms		\| 3287 ms
	\| ms		\| 2050 ms
	\| ms		\| ms
	\|-		\|-
Line 306:		Line 306:
	\|		\|
	\| 89.7 s		\| 89.7 s
	\| s		\| 9.8 s
	\| s		\| s
	\|-		\|-
Line 314:		Line 314:
	\|		\|
	\| 185.8 s (1218 / 1360 POs)		\| 185.8 s (1218 / 1360 POs)
	\| s ( / 1360 POs)		\| 167.2 s (1218 / 1360 POs)
	\| s		\| s
	\|-		\|-
Line 322:		Line 322:
	\|		\|
	\| 147.0 s		\| 147.0 s
	\| s		\| 106.9 s
	\| s		\| s
	\|-		\|-
Line 330:		Line 330:
	\|		\|
	\| 195.6 s		\| 195.6 s
	\| s		\| 49.1 s
	\| s		\| s
	\|-		\|-
Line 338:		Line 338:
	\|		\|
	\| 377.7 s (2381 / 2595 POs)		\| 377.7 s (2381 / 2595 POs)
	\| s ( / 2595 POs)		\| 271.6 s (2381 / 2595 POs)
	\| s ( / 2595 POs)		\| s ( / 2595 POs)
	\|-		\|-
Line 346:		Line 346:
	\|		\|
	\| 231.2 s		\| 231.2 s
	\| s		\| 148.0 s
	\| s		\| s
	\|-		\|-
Line 354:		Line 354:
	\|		\|
	\| 210.0 s		\| 210.0 s
	\| s		\| 54.1 s
	\| s		\| s
	\|-		\|-
Line 362:		Line 362:
	\|		\|
	\| 367.3 s (1209 / 1370 POs)		\| 367.3 s (1209 / 1370 POs)
	\| s ( / 1370 POs)		\| 243.5 s (1209 / 1370 POs)
	\| s ( / 1370 POs)		\| s ( / 1370 POs)
	\|-		\|-
Line 370:		Line 370:
	\|		\|
	\| 230.9 s		\| 230.9 s
	\| s		\| 146.6 s
	\| s		\| s
	\|}		\|}

imported>Nicolas: /* Results */ put cars on a bridge back before systerel project

2011-05-19T21:38:25Z

Results: put cars on a bridge back before systerel project

@@ Line 276: / Line 276: @@
 |  s
 |  s
 |-
 | Builder / models only
@@ Line 300: / Line 324: @@
 |  s
 |  s
 |-
 | Builder / models only

imported>Nicolas: /* Results */ added results for 1.3 and 2.0 / config 2

2011-05-19T21:34:17Z

Results: added results for 1.3 and 2.0 / config 2

← Older revision		Revision as of 21:34, 19 May 2011
Line 240:		Line 240:
	\|		\|
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| s		\| 18.2 s
	\| s		\| 21.8 s
	\| s		\| 33.7 s
	\| s		\| 30.9 s
	\|-		\|-
	\| Parser		\| Parser
	\|		\|
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| s		\| 17.9 s
	\| s		\| 38.9 s
	\| s		\| 16.9 s
	\| s		\| 11.2 s
	\|-		\|-
	\| Builder / models only		\| Builder / models only
	\| [[#Cruise Control 0.5.0]]		\| [[#Cruise Control 0.5.0]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| s		\| 124.2 s
	\| s		\| 206.7 s
	\| s		\| s
	\| s		\| s
Line 264:		Line 264:
	\| [[#Cruise Control 0.5.0]]		\| [[#Cruise Control 0.5.0]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| s ( / 2911 POs)		\| 356.7 s (1550 / 2911 POs)
	\| s ( / 2911 POs)		\| 633.4 s (1550 / 2911 POs)
	\| s ( / 2911 POs)		\| s ( / 2911 POs)
	\| s		\| s
Line 272:		Line 272:
	\| [[#Cruise Control 0.5.0]]		\| [[#Cruise Control 0.5.0]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| s		\| 120.7 s
	\| s		\| 204.9 s
	\| s		\| s
	\| s		\| s
Line 281:		Line 281:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 89.7 s
	\| s		\| s
	\| s		\| s
Line 289:		Line 289:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s ( / 1360 POs)		\| 185.8 s (1218 / 1360 POs)
	\| s ( / 1360 POs)		\| s ( / 1360 POs)
	\| s		\| s
Line 297:		Line 297:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 147.0 s
	\| s		\| s
	\| s		\| s
Line 304:		Line 304:
	\| [[#Cars on a Bridge]]		\| [[#Cars on a Bridge]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| ms		\| 1913 ms
	\| ms		\| 2401 ms
	\| ms		\| ms
	\| ms		\| ms
Line 312:		Line 312:
	\| [[#Cars on a Bridge]]		\| [[#Cars on a Bridge]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| ms (237 / 237 POs)		\| 3934 ms (237 / 237 POs)
	\| ms (237 / 237 POs)		\| 3888 ms (237 / 237 POs)
	\| ms (237 / 237 POs)		\| ms (237 / 237 POs)
	\| ms		\| ms
Line 320:		Line 320:
	\| [[#Cars on a Bridge]]		\| [[#Cars on a Bridge]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\| ms		\| 2688 ms
	\| ms		\| 3287 ms
	\| ms		\| ms
	\| ms		\| ms
Line 329:		Line 329:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 195.6 s
	\| s		\| s
	\| s		\| s
Line 337:		Line 337:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s ( / 2595 POs)		\| 377.7 s (2381 / 2595 POs)
	\| s ( / 2595 POs)		\| s ( / 2595 POs)
	\| s ( / 2595 POs)		\| s ( / 2595 POs)
Line 345:		Line 345:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 231.2 s
	\| s		\| s
	\| s		\| s
Line 353:		Line 353:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 210.0 s
	\| s		\| s
	\| s		\| s
Line 361:		Line 361:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s ( / 1370 POs)		\| 367.3 s (1209 / 1370 POs)
	\| s ( / 1370 POs)		\| s ( / 1370 POs)
	\| s ( / 1370 POs)		\| s ( / 1370 POs)
Line 369:		Line 369:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s		\| 230.9 s
	\| s		\| s
	\| s		\| s

imported>Nicolas: /* Results */ fixed PO numbers

2011-05-19T21:14:49Z

Results: fixed PO numbers

← Older revision		Revision as of 21:14, 19 May 2011
Line 337:		Line 337:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s ( / ~~1360~~ POs)		\| s ( / 2595 POs)
	\| s ( / ~~1360~~ POs)		\| s ( / 2595 POs)
	\| s		\| s ( / 2595 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
Line 361:		Line 361:
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
	\| s ( / ~~1360~~ POs)		\| s ( / 1370 POs)
	\| s ( / ~~1360~~ POs)		\| s ( / 1370 POs)
	\| s		\| s ( / 1370 POs)
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs

imported>Nicolas: /* Results */ fixed XCore Extension to Encoding

2011-05-19T21:12:37Z

Results: fixed XCore Extension to Encoding

← Older revision		Revision as of 21:12, 19 May 2011
Line 350:		Line 350:
	\|-		\|-
	\| Builder / models only		\| Builder / models only
	\| [[#XCore ~~Extension~~]]		\| [[#XCore Encoding]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
Line 358:		Line 358:
	\|-		\|-
	\| Builder + Auto Prover / models only		\| Builder + Auto Prover / models only
	\| [[#XCore ~~Extension~~]]		\| [[#XCore Encoding]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|
Line 366:		Line 366:
	\|-		\|-
	\| Builder / models + proofs		\| Builder / models + proofs
	\| [[#XCore ~~Extension~~]]		\| [[#XCore Encoding]]
	\| [[#Configuration 2]]		\| [[#Configuration 2]]
	\|		\|

imported>Nicolas: /* Results */ added an empty table for config2 upto 2.2 results

2011-05-19T21:11:18Z

Results: added an empty table for config2 upto 2.2 results

@@ Line 224: / Line 224: @@
 | 149.9 s
 | 109.4 s
 |}

imported>Nicolas: moved "fresh eclipse" to protocol

2011-05-19T21:01:14Z

moved "fresh eclipse" to protocol

← Older revision		Revision as of 21:01, 19 May 2011
Line 47:		Line 47:
	* JUnit 4.8.1		* JUnit 4.8.1



	~~tests run from a freshly launched eclipse as only running user application, in UI thread, with an empty workbench.~~

	== Benchmark Projects ==		== Benchmark Projects ==
Line 88:		Line 85:

	A measurement is launched using the JUnit plug-in '''fr.systerel.perf.tests'''.		A measurement is launched using the JUnit plug-in '''fr.systerel.perf.tests'''.
			Tests are run from a freshly launched eclipse as only running user application, in UI thread, with an empty workbench.

	Launch Configuration must include exactly the following plug-ins:		Launch Configuration must include exactly the following plug-ins:

imported>Nicolas: /* Configurations */ added configuration 2

2011-05-19T20:59:41Z

Configurations: added configuration 2

@@ Line 24: / Line 24: @@
 * Helios (3.6.1)
 * JUnit 4.8.1
 * tests run from a freshly launched eclipse as only running user application, in UI thread, with an empty workbench.
 == Benchmark Projects ==

imported>Nicolas: /* Benchmark Projects */ added XCore and XCoreEncoding

2011-03-22T16:59:57Z

Benchmark Projects: added XCore and XCoreEncoding

@@ Line 47: / Line 47: @@
 * 14 Machines
 * 927 POs
 == Protocol ==