Index of /logs/student-concurrency/20191222-163022-student-concurrency-587576877e/student-concurrency.2019-12-22_1544.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Automizer FA-NoLbe-MCR.ex1.c.log 2019-12-22 16:04 29K
Automizer FA-NoLbe-MCR.ForkedModifiesGlobal.c.log 2019-12-22 16:04 29K
Automizer FA-NoLbe-MCR.forkFork.c.log 2019-12-22 16:04 45K
Automizer FA-NoLbe-MCR.forkForkSimple.c.log 2019-12-22 16:04 34K
Automizer FA-NoLbe-MCR.forkJoinInLoop.c.log 2019-12-22 16:04 77K
Automizer FA-NoLbe-MCR.forkJoinNotMod.c.log 2019-12-22 16:04 102K
Automizer FA-NoLbe-MCR.forkMultipleParameter.c.log 2019-12-22 16:04 15K
Automizer FA-NoLbe-MCR.forkMultipleTimes.c.log 2019-12-22 16:04 35K
Automizer FA-NoLbe-MCR.globalVariableMultipleThreads.c.log 2019-12-22 16:05 104K
Automizer FA-NoLbe-MCR.joinMultipleReturnValues.c.log 2019-12-22 16:04 15K
Automizer FA-NoLbe-MCR.mainThreadTerminates.c.log 2019-12-22 16:08 1.7M
Automizer FA-NoLbe-MCR.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 16:04 38K
Automizer FA-NoLbe-MCR.NonAtomicIncrement_2Threads.c.log 2019-12-22 16:08 323K
Automizer FA-NoLbe-MCR.pthreadExitNull-safe.c.log 2019-12-22 16:04 32K
Automizer FA-NoLbe-MCR.pthreadExitSafe.c.log 2019-12-22 16:04 55K
Automizer FA-NoLbe-MCR.pthreadExitUnsafe.c.log 2019-12-22 16:04 41K
Automizer FA-NoLbe-MCR.pthreadJoinCorrectThreadId.c.log 2019-12-22 16:04 34K
Automizer FA-NoLbe-MCR.pthreadMutex01-safe.c.log 2019-12-22 16:04 45K
Automizer FA-NoLbe-MCR.pthreadMutex02-unsafe.c.log 2019-12-22 16:04 28K
Automizer FA-NoLbe-MCR.pthreadReturn.c.log 2019-12-22 16:04 28K
Automizer FA-NoLbe-MCR.SimpleFunctionPointer.c.log 2019-12-22 16:04 28K
Automizer FA-NoLbe-MCR.simpleReturn.c.log 2019-12-22 16:04 55K
Automizer FA-NoLbe-MCR.SvcompVerifierAtomic.c.log 2019-12-22 16:04 37K
Automizer FA-NoLbe-MCR.ThreadIdTest.c.log 2019-12-22 16:04 17K
Automizer FA-NoLbe.ex1.c.log 2019-12-22 15:53 29K
Automizer FA-NoLbe.ForkedModifiesGlobal.c.log 2019-12-22 15:53 29K
Automizer FA-NoLbe.forkFork.c.log 2019-12-22 15:53 45K
Automizer FA-NoLbe.forkForkSimple.c.log 2019-12-22 15:53 34K
Automizer FA-NoLbe.forkJoinInLoop.c.log 2019-12-22 15:53 52K
Automizer FA-NoLbe.forkJoinNotMod.c.log 2019-12-22 15:53 62K
Automizer FA-NoLbe.forkMultipleParameter.c.log 2019-12-22 15:53 15K
Automizer FA-NoLbe.forkMultipleTimes.c.log 2019-12-22 15:53 35K
Automizer FA-NoLbe.globalVariableMultipleThreads.c.log 2019-12-22 15:54 83K
Automizer FA-NoLbe.joinMultipleReturnValues.c.log 2019-12-22 15:53 15K
Automizer FA-NoLbe.mainThreadTerminates.c.log 2019-12-22 15:57 374K
Automizer FA-NoLbe.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 15:53 38K
Automizer FA-NoLbe.NonAtomicIncrement_2Threads.c.log 2019-12-22 15:54 132K
Automizer FA-NoLbe.pthreadExitNull-safe.c.log 2019-12-22 15:53 32K
Automizer FA-NoLbe.pthreadExitSafe.c.log 2019-12-22 15:54 66K
Automizer FA-NoLbe.pthreadExitUnsafe.c.log 2019-12-22 15:54 36K
Automizer FA-NoLbe.pthreadJoinCorrectThreadId.c.log 2019-12-22 15:54 34K
Automizer FA-NoLbe.pthreadMutex01-safe.c.log 2019-12-22 15:54 38K
Automizer FA-NoLbe.pthreadMutex02-unsafe.c.log 2019-12-22 15:54 28K
Automizer FA-NoLbe.pthreadReturn.c.log 2019-12-22 15:54 28K
Automizer FA-NoLbe.SimpleFunctionPointer.c.log 2019-12-22 15:53 28K
Automizer FA-NoLbe.simpleReturn.c.log 2019-12-22 15:54 60K
Automizer FA-NoLbe.SvcompVerifierAtomic.c.log 2019-12-22 15:53 34K
Automizer FA-NoLbe.ThreadIdTest.c.log 2019-12-22 15:53 16K
Automizer FA-SemanticLbe-MCR.ex1.c.log 2019-12-22 15:58 32K
Automizer FA-SemanticLbe-MCR.ForkedModifiesGlobal.c.log 2019-12-22 15:58 31K
Automizer FA-SemanticLbe-MCR.forkFork.c.log 2019-12-22 15:58 48K
Automizer FA-SemanticLbe-MCR.forkForkSimple.c.log 2019-12-22 15:58 37K
Automizer FA-SemanticLbe-MCR.forkJoinInLoop.c.log 2019-12-22 15:58 71K
Automizer FA-SemanticLbe-MCR.forkJoinNotMod.c.log 2019-12-22 15:58 95K
Automizer FA-SemanticLbe-MCR.forkMultipleParameter.c.log 2019-12-22 15:58 15K
Automizer FA-SemanticLbe-MCR.forkMultipleTimes.c.log 2019-12-22 15:58 38K
Automizer FA-SemanticLbe-MCR.globalVariableMultipleThreads.c.log 2019-12-22 15:58 138K
Automizer FA-SemanticLbe-MCR.joinMultipleReturnValues.c.log 2019-12-22 15:58 15K
Automizer FA-SemanticLbe-MCR.mainThreadTerminates.c.log 2019-12-22 16:01 2.2M
Automizer FA-SemanticLbe-MCR.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 15:58 41K
Automizer FA-SemanticLbe-MCR.NonAtomicIncrement_2Threads.c.log 2019-12-22 15:58 185K
Automizer FA-SemanticLbe-MCR.pthreadExitNull-safe.c.log 2019-12-22 15:58 35K
Automizer FA-SemanticLbe-MCR.pthreadExitSafe.c.log 2019-12-22 15:58 62K
Automizer FA-SemanticLbe-MCR.pthreadExitUnsafe.c.log 2019-12-22 15:58 38K
Automizer FA-SemanticLbe-MCR.pthreadJoinCorrectThreadId.c.log 2019-12-22 15:58 37K
Automizer FA-SemanticLbe-MCR.pthreadMutex01-safe.c.log 2019-12-22 15:58 45K
Automizer FA-SemanticLbe-MCR.pthreadMutex02-unsafe.c.log 2019-12-22 15:58 28K
Automizer FA-SemanticLbe-MCR.pthreadReturn.c.log 2019-12-22 15:58 31K
Automizer FA-SemanticLbe-MCR.SimpleFunctionPointer.c.log 2019-12-22 15:58 31K
Automizer FA-SemanticLbe-MCR.simpleReturn.c.log 2019-12-22 15:58 61K
Automizer FA-SemanticLbe-MCR.SvcompVerifierAtomic.c.log 2019-12-22 15:58 38K
Automizer FA-SemanticLbe-MCR.ThreadIdTest.c.log 2019-12-22 15:58 16K
Automizer FA-SemanticLbe.ex1.c.log 2019-12-22 15:47 31K
Automizer FA-SemanticLbe.ForkedModifiesGlobal.c.log 2019-12-22 15:47 31K
Automizer FA-SemanticLbe.forkFork.c.log 2019-12-22 15:47 48K
Automizer FA-SemanticLbe.forkForkSimple.c.log 2019-12-22 15:47 37K
Automizer FA-SemanticLbe.forkJoinInLoop.c.log 2019-12-22 15:47 62K
Automizer FA-SemanticLbe.forkJoinNotMod.c.log 2019-12-22 15:47 82K
Automizer FA-SemanticLbe.forkMultipleParameter.c.log 2019-12-22 15:47 15K
Automizer FA-SemanticLbe.forkMultipleTimes.c.log 2019-12-22 15:47 38K
Automizer FA-SemanticLbe.globalVariableMultipleThreads.c.log 2019-12-22 15:47 115K
Automizer FA-SemanticLbe.joinMultipleReturnValues.c.log 2019-12-22 15:47 15K
Automizer FA-SemanticLbe.mainThreadTerminates.c.log 2019-12-22 15:50 692K
Automizer FA-SemanticLbe.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 15:47 41K
Automizer FA-SemanticLbe.NonAtomicIncrement_2Threads.c.log 2019-12-22 15:47 93K
Automizer FA-SemanticLbe.pthreadExitNull-safe.c.log 2019-12-22 15:47 34K
Automizer FA-SemanticLbe.pthreadExitSafe.c.log 2019-12-22 15:47 45K
Automizer FA-SemanticLbe.pthreadExitUnsafe.c.log 2019-12-22 15:47 38K
Automizer FA-SemanticLbe.pthreadJoinCorrectThreadId.c.log 2019-12-22 15:47 37K
Automizer FA-SemanticLbe.pthreadMutex01-safe.c.log 2019-12-22 15:47 38K
Automizer FA-SemanticLbe.pthreadMutex02-unsafe.c.log 2019-12-22 15:47 28K
Automizer FA-SemanticLbe.pthreadReturn.c.log 2019-12-22 15:47 31K
Automizer FA-SemanticLbe.SimpleFunctionPointer.c.log 2019-12-22 15:47 30K
Automizer FA-SemanticLbe.simpleReturn.c.log 2019-12-22 15:47 44K
Automizer FA-SemanticLbe.SvcompVerifierAtomic.c.log 2019-12-22 15:47 36K
Automizer FA-SemanticLbe.ThreadIdTest.c.log 2019-12-22 15:47 16K
Automizer FA-VariableLbe-MCR.ex1.c.log 2019-12-22 16:01 32K
Automizer FA-VariableLbe-MCR.ForkedModifiesGlobal.c.log 2019-12-22 16:01 31K
Automizer FA-VariableLbe-MCR.forkFork.c.log 2019-12-22 16:01 48K
Automizer FA-VariableLbe-MCR.forkForkSimple.c.log 2019-12-22 16:01 37K
Automizer FA-VariableLbe-MCR.forkJoinInLoop.c.log 2019-12-22 16:01 71K
Automizer FA-VariableLbe-MCR.forkJoinNotMod.c.log 2019-12-22 16:01 95K
Automizer FA-VariableLbe-MCR.forkMultipleParameter.c.log 2019-12-22 16:01 15K
Automizer FA-VariableLbe-MCR.forkMultipleTimes.c.log 2019-12-22 16:01 38K
Automizer FA-VariableLbe-MCR.globalVariableMultipleThreads.c.log 2019-12-22 16:01 138K
Automizer FA-VariableLbe-MCR.joinMultipleReturnValues.c.log 2019-12-22 16:01 15K
Automizer FA-VariableLbe-MCR.mainThreadTerminates.c.log 2019-12-22 16:04 2.2M
Automizer FA-VariableLbe-MCR.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 16:01 42K
Automizer FA-VariableLbe-MCR.NonAtomicIncrement_2Threads.c.log 2019-12-22 16:01 166K
Automizer FA-VariableLbe-MCR.pthreadExitNull-safe.c.log 2019-12-22 16:01 35K
Automizer FA-VariableLbe-MCR.pthreadExitSafe.c.log 2019-12-22 16:01 62K
Automizer FA-VariableLbe-MCR.pthreadExitUnsafe.c.log 2019-12-22 16:01 38K
Automizer FA-VariableLbe-MCR.pthreadJoinCorrectThreadId.c.log 2019-12-22 16:01 37K
Automizer FA-VariableLbe-MCR.pthreadMutex01-safe.c.log 2019-12-22 16:01 45K
Automizer FA-VariableLbe-MCR.pthreadMutex02-unsafe.c.log 2019-12-22 16:01 28K
Automizer FA-VariableLbe-MCR.pthreadReturn.c.log 2019-12-22 16:01 31K
Automizer FA-VariableLbe-MCR.SimpleFunctionPointer.c.log 2019-12-22 16:01 31K
Automizer FA-VariableLbe-MCR.simpleReturn.c.log 2019-12-22 16:01 61K
Automizer FA-VariableLbe-MCR.SvcompVerifierAtomic.c.log 2019-12-22 16:01 39K
Automizer FA-VariableLbe-MCR.ThreadIdTest.c.log 2019-12-22 16:01 17K
Automizer FA-VariableLbe.ex1.c.log 2019-12-22 15:50 31K
Automizer FA-VariableLbe.ForkedModifiesGlobal.c.log 2019-12-22 15:50 31K
Automizer FA-VariableLbe.forkFork.c.log 2019-12-22 15:50 48K
Automizer FA-VariableLbe.forkForkSimple.c.log 2019-12-22 15:50 37K
Automizer FA-VariableLbe.forkJoinInLoop.c.log 2019-12-22 15:50 62K
Automizer FA-VariableLbe.forkJoinNotMod.c.log 2019-12-22 15:50 82K
Automizer FA-VariableLbe.forkMultipleParameter.c.log 2019-12-22 15:50 15K
Automizer FA-VariableLbe.forkMultipleTimes.c.log 2019-12-22 15:50 38K
Automizer FA-VariableLbe.globalVariableMultipleThreads.c.log 2019-12-22 15:50 115K
Automizer FA-VariableLbe.joinMultipleReturnValues.c.log 2019-12-22 15:50 15K
Automizer FA-VariableLbe.mainThreadTerminates.c.log 2019-12-22 15:53 692K
Automizer FA-VariableLbe.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 15:50 41K
Automizer FA-VariableLbe.NonAtomicIncrement_2Threads.c.log 2019-12-22 15:50 92K
Automizer FA-VariableLbe.pthreadExitNull-safe.c.log 2019-12-22 15:50 34K
Automizer FA-VariableLbe.pthreadExitSafe.c.log 2019-12-22 15:50 45K
Automizer FA-VariableLbe.pthreadExitUnsafe.c.log 2019-12-22 15:50 38K
Automizer FA-VariableLbe.pthreadJoinCorrectThreadId.c.log 2019-12-22 15:50 37K
Automizer FA-VariableLbe.pthreadMutex01-safe.c.log 2019-12-22 15:50 38K
Automizer FA-VariableLbe.pthreadMutex02-unsafe.c.log 2019-12-22 15:51 28K
Automizer FA-VariableLbe.pthreadReturn.c.log 2019-12-22 15:51 31K
Automizer FA-VariableLbe.SimpleFunctionPointer.c.log 2019-12-22 15:50 31K
Automizer FA-VariableLbe.simpleReturn.c.log 2019-12-22 15:51 44K
Automizer FA-VariableLbe.SvcompVerifierAtomic.c.log 2019-12-22 15:50 36K
Automizer FA-VariableLbe.ThreadIdTest.c.log 2019-12-22 15:50 16K
Automizer SVCOMP 2020.ex1.c.log 2019-12-22 15:44 31K
Automizer SVCOMP 2020.ForkedModifiesGlobal.c.log 2019-12-22 15:44 31K
Automizer SVCOMP 2020.forkFork.c.log 2019-12-22 15:44 48K
Automizer SVCOMP 2020.forkForkSimple.c.log 2019-12-22 15:44 37K
Automizer SVCOMP 2020.forkJoinInLoop.c.log 2019-12-22 15:44 62K
Automizer SVCOMP 2020.forkJoinNotMod.c.log 2019-12-22 15:44 82K
Automizer SVCOMP 2020.forkMultipleParameter.c.log 2019-12-22 15:44 15K
Automizer SVCOMP 2020.forkMultipleTimes.c.log 2019-12-22 15:44 38K
Automizer SVCOMP 2020.globalVariableMultipleThreads.c.log 2019-12-22 15:44 115K
Automizer SVCOMP 2020.joinMultipleReturnValues.c.log 2019-12-22 15:44 14K
Automizer SVCOMP 2020.mainThreadTerminates.c.log 2019-12-22 15:47 692K
Automizer SVCOMP 2020.multipleForkSameIdDifferentReturnType.c.log 2019-12-22 15:44 41K
Automizer SVCOMP 2020.NonAtomicIncrement_2Threads.c.log 2019-12-22 15:44 93K
Automizer SVCOMP 2020.pthreadExitNull-safe.c.log 2019-12-22 15:44 34K
Automizer SVCOMP 2020.pthreadExitSafe.c.log 2019-12-22 15:44 45K
Automizer SVCOMP 2020.pthreadExitUnsafe.c.log 2019-12-22 15:44 38K
Automizer SVCOMP 2020.pthreadJoinCorrectThreadId.c.log 2019-12-22 15:44 37K
Automizer SVCOMP 2020.pthreadMutex01-safe.c.log 2019-12-22 15:44 38K
Automizer SVCOMP 2020.pthreadMutex02-unsafe.c.log 2019-12-22 15:44 28K
Automizer SVCOMP 2020.pthreadReturn.c.log 2019-12-22 15:44 31K
Automizer SVCOMP 2020.SimpleFunctionPointer.c.log 2019-12-22 15:44 31K
Automizer SVCOMP 2020.simpleReturn.c.log 2019-12-22 15:44 44K
Automizer SVCOMP 2020.SvcompVerifierAtomic.c.log 2019-12-22 15:44 36K
Automizer SVCOMP 2020.ThreadIdTest.c.log 2019-12-22 15:44 16K