Index of /svcomp/c/termination-crafted
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
NonTermination3-1.c.iranalysis 2021-02-02 10:56 183
Madrid.c 2019-07-22 14:00 225
![[ ]](/icons/unknown.gif)
NonTermination4.yml 2022-11-15 21:20 242
Waldkirch.c 2019-07-22 14:00 247
NonTermination1.c 2019-07-22 14:00 248
WhileTrue.c 2019-07-22 14:00 253
Hanoi_2vars.c 2019-07-22 14:00 258
Arrays01-EquivalentConstantIndices-2.c 2019-07-22 14:00 260
McCarthy91_Recursion.c 2019-07-22 14:00 261
NonTerminationSimple6.c 2019-07-22 14:00 262
WhileFalse.c 2019-07-22 14:00 266
RecursiveNonterminating-2.c 2019-07-22 14:00 268
NonTerminationSimple9.c 2019-07-22 14:00 270
Arrays02-EquivalentConstantIndices.c 2019-07-22 14:00 272
Thun-1.yml 2022-11-15 21:20 277
easy2-1.yml 2022-11-15 21:20 279
SyntaxSupportPointer01-3.yml 2022-11-15 21:21 279
aaron2-2.yml 2022-11-15 21:20 281
aaron3-2.yml 2022-11-15 21:20 281
Mysore-1.yml 2022-11-15 21:20 281
2Nested-2.yml 2022-11-15 21:20 283
Arrays01-EquivalentConstantIndices-2.yml 2022-11-15 21:20 284
Ackermann-1.yml 2022-11-15 21:20 287
Bangalore-1.yml 2022-11-15 21:20 287
Hanoi_plus.yml 2022-11-15 21:20 287
Singapore-1.yml 2022-11-15 21:20 287
Stockholm-2.yml 2022-11-15 21:20 287
Gothenburg-2.yml 2022-11-15 21:20 289
Hanoi_2vars.yml 2022-11-15 21:20 289
Hanoi_3vars.yml 2022-11-15 21:20 289
Pure2Phase-2.yml 2022-11-15 21:20 289
Pure3Phase-2.yml 2022-11-15 21:20 289
Bangalore_v3.yml 2022-11-15 21:20 291
Cairo_nondet.yml 2022-11-15 21:20 291
Cairo_step2-2.yml 2022-11-15 21:20 291
Nyala-2lex-1.yml 2022-11-15 21:20 291
Rotation180-2.yml 2022-11-15 21:20 291
Singapore_v1.yml 2022-11-15 21:20 291
Singapore_v2.yml 2022-11-15 21:20 291
NonTerminationSimple2.c 2019-07-22 14:00 292
Binary_Search-1.yml 2022-11-15 21:20 295
Gothenburg_v2-2.yml 2022-11-15 21:20 295
Singapore_plus.yml 2022-11-15 21:20 295
NonTermination1.yml 2022-11-15 21:20 297
NonTermination2.yml 2022-11-15 21:20 297
Benghazi_nondet-1.yml 2022-11-15 21:20 299
Copenhagen_disj-1.yml 2022-11-15 21:20 299
Collatz.yml 2022-11-15 21:20 301
NonTermination2.c 2019-07-22 14:00 301
NestedRecursion_2a.yml 2022-11-15 21:20 303
RecursiveNonterminating-1.c 2019-07-22 14:00 303
Division-2.c 2019-07-22 14:00 304
NestedRecursion_1a-1.yml 2022-11-15 21:20 305
LexIndexValue-Array-2.yml 2022-11-15 21:20 309
LexIndexValue-Pointer-1.yml 2022-11-15 21:20 309
NonTerminationSimple2.yml 2022-11-15 21:20 309
NonTerminationSimple3.yml 2022-11-15 21:20 309
NonTerminationSimple4.yml 2022-11-15 21:20 309
NonTerminationSimple5.yml 2022-11-15 21:20 309
NonTerminationSimple6.yml 2022-11-15 21:20 309
NonTerminationSimple8.yml 2022-11-15 21:20 309
NonTerminationSimple9.yml 2022-11-15 21:20 309
NonTermination4.c 2019-07-22 14:00 310
4NestedWith3Variables-2.yml 2022-11-15 21:20 311
NonTerminationSimple7.c 2019-07-22 14:00 314
RecursiveMultiplication-2.yml 2022-11-15 21:20 315
RecursiveNonterminating-2.yml 2022-11-15 21:20 315
Toulouse-BranchesToLoop-1.yml 2022-11-15 21:20 315
NonTerminationSimple5.c 2019-07-22 14:00 316
Lobnya-Boolean-Reordered-1.yml 2022-11-15 21:20 317
Collatz.c 2021-11-16 20:48 319
NonTerminationSimple3.c 2019-07-22 14:00 321
Arrays03-ValueRestictsIndex-1.yml 2022-11-15 21:20 325
Toulouse-MultiBranchesToLoop-1.yml 2022-11-15 21:20 325
Mysore-3.yml 2022-11-15 21:20 327
Copenhagen.c 2019-07-22 14:00 331
Bangalore_v4.c 2019-07-22 14:00 334
SyntaxSupportPointer01-2.c 2019-07-22 14:00 334
Bangalore_v2.c 2019-07-22 14:00 335
Bangalore_v3.c 2019-07-22 14:00 335
Arrays01-EquivalentConstantIndices-1.c 2019-07-22 14:00 337
SyntaxSupportPointer01-3.c 2019-07-22 14:00 338
Cairo_step2-1.c 2019-07-22 14:00 341
NonTermination3-2.c 2019-07-22 14:00 342
LexIndexValue-Pointer-3.yml 2022-11-15 21:20 344
LexIndexValue-Array-2.c 2019-07-22 14:00 349
Cairo_step2-3.c 2019-07-22 14:00 351
NestedRecursion_2a.c 2019-07-22 14:00 351
NonTerminationSimple4.c 2019-07-22 14:00 351
Cairo_nondet.c 2019-07-22 14:00 353
MutualRecursion_1a.c 2019-07-22 14:00 365
MutualRecursion_1b.c 2019-07-22 14:00 365
McCarthy91_Iteration.c 2019-07-22 14:00 366
SyntaxSupportPointer01-1.c 2019-07-22 14:00 370
Arrays03-ValueRestictsIndex-1.c 2019-07-22 14:00 376
Thun-2.yml 2022-11-15 21:20 376
NestedRecursion_2b.c 2019-07-22 14:00 378
NestedRecursion_2c.c 2019-07-22 14:00 378
NonTermination3-1.c 2019-07-22 14:00 379
2Nested-1.yml 2022-11-15 21:20 382
Rotation180-2.c 2019-07-22 14:00 382
Hanoi_3vars.c 2019-07-22 14:00 385
Hanoi_plus.c 2019-07-22 14:00 385
Singapore_v1.c 2019-07-22 14:00 385
Singapore_v2.c 2019-07-22 14:00 385
Ackermann-2.yml 2022-11-15 21:20 386
Copenhagen_disj-1.c 2019-07-22 14:00 387
Singapore-1.c 2019-07-22 14:00 387
Singapore_plus.c 2019-07-22 14:00 387
Gothenburg-1.yml 2022-11-15 21:20 388
Pure2Phase-1.yml 2022-11-15 21:20 388
Pure3Phase-1.yml 2022-11-15 21:20 388
Cairo_step2-2.c 2019-07-22 14:00 390
Bangalore-1.c 2019-07-22 14:00 391
2Nested-2.c 2019-07-22 14:00 396
Benghazi_nondet-2.yml 2022-11-15 21:20 398
Copenhagen_disj-2.yml 2022-11-15 21:20 398
Collatz_bounded.yml 2022-11-15 21:20 399
Bangalore-2.c 2019-07-22 14:00 400
SyntaxSupportPointer01-2.yml 2022-11-15 21:20 404
Binary_Search-1.c 2022-11-15 21:21 406
4NestedWith3Variables-1.yml 2022-11-15 21:20 410
LexIndexValue-Pointer-2.yml 2022-11-15 21:20 410
Rotation180-1.yml 2022-11-15 21:21 413
RecursiveMultiplication-1.yml 2022-11-15 21:20 414
Toulouse-BranchesToLoop-2.yml 2022-11-15 21:20 414
Makefile 2020-11-12 18:14 415
Nyala-2lex-1.c 2019-07-22 14:00 416
Binary_Search-2.yml 2022-11-15 21:21 417
NestedRecursion_1a-1.c 2019-07-22 14:00 417
NestedRecursion_1b.c 2019-07-22 14:00 417
NestedRecursion_1c.c 2019-07-22 14:00 417
NestedRecursion_1d.c 2019-07-22 14:00 417
NonTermination3-2.yml 2022-11-15 21:21 417
Madrid.yml 2020-10-19 10:01 418
Ackermann-1.c 2019-07-22 14:00 424
Division-2.yml 2020-10-19 10:01 424
Toulouse-MultiBranchesToLoop-2.yml 2022-11-15 21:20 424
WhileFalse.yml 2020-10-19 10:01 424
WhileTrue.yml 2020-10-19 10:01 424
LexIndexValue-Array-1.c 2019-07-22 14:00 425
NestedRecursion_1a-2.yml 2022-11-15 21:21 427
Bangalore_v2.yml 2020-10-19 10:01 430
Cairo_step2-3.yml 2020-10-19 10:01 430
Benghazi_nondet-1.c 2019-07-22 14:00 436
Mysore-1.c 2019-07-22 14:00 436
RecursiveNonterminating-1.yml 2022-11-15 21:21 437
Lobnya-Boolean-Reordered-1.c 2019-07-22 14:00 439
4BitCounterPointer.yml 2020-10-19 10:01 440
MutualRecursion_1a.yml 2020-10-19 10:01 442
NestedRecursion_2b.yml 2020-10-19 10:01 442
NonTermination3-1.yml 2022-11-15 21:21 448
NonTerminationSimple7.yml 2020-10-19 10:01 448
Toulouse-BranchesToLoop-1.c 2019-07-22 14:00 450
Cairo.c 2019-07-22 14:00 452
Arrays03-ValueRestictsIndex-2.c 2019-07-22 14:00 453
aaron2-1.yml 2022-11-15 21:21 456
aaron3-1.yml 2022-11-15 21:21 456
Mysore-2.yml 2022-11-15 21:21 456
Pure2Phase-2.c 2019-07-22 14:00 458
Singapore-2.yml 2022-11-15 21:21 462
Stockholm-1.yml 2022-11-15 21:21 462
Parallel.c 2019-07-22 14:00 467
Cairo.yml 2020-11-12 18:14 469
easy1.yml 2020-11-12 18:14 469
Gothenburg_v2-1.yml 2022-11-15 21:21 470
easy2-2.yml 2020-11-12 18:14 471
NestedRecursion_1a-2.c 2019-07-22 14:00 472
Lobnya-Boolean-Reordered-2.c 2019-07-22 14:00 473
Rotation180-1.c 2019-07-22 14:00 473
Arrays02-EquivalentConstantIndices.yml 2020-10-19 10:01 474
Benghazi.c 2019-07-22 14:00 474
Stockholm-2.c 2019-07-22 14:00 474
Benghazi.yml 2020-11-12 18:14 475
Parallel.yml 2020-11-12 18:14 475
MenloPark.yml 2020-11-12 18:14 477
Piecewise.yml 2020-11-12 18:14 477
Waldkirch.yml 2020-11-12 18:14 477
Nyala-2lex-2.c 2019-07-22 14:00 478
Bangalore-2.yml 2020-11-12 18:14 479
Collatz_bounded.c 2021-11-16 20:48 479
Copenhagen.yml 2020-11-12 18:14 479
Nyala-2lex-2.yml 2020-11-12 18:14 481
Bangalore_v4.yml 2020-11-12 18:14 483
Cairo_step2-1.yml 2020-11-12 18:14 483
RecursiveMultiplication-2.c 2019-07-22 14:00 483
SyntaxSupportPointer01-1.yml 2022-11-15 21:21 488
Lobnya-Boolean-Reordered-2.yml 2022-11-15 21:21 492
MutualRecursion_1b.yml 2020-11-12 18:14 495
NestedRecursion_1b.yml 2020-11-12 18:14 495
NestedRecursion_1c.yml 2020-11-12 18:14 495
NestedRecursion_1d.yml 2020-11-12 18:14 495
NestedRecursion_2c.yml 2020-11-12 18:14 495
NonTerminationSimple8.c 2019-07-22 14:00 496
Singapore-2.c 2019-07-22 14:00 498
LexIndexValue-Array-1.yml 2020-11-12 18:14 499
McCarthy91_Iteration.yml 2020-11-12 18:14 499
McCarthy91_Recursion.yml 2020-11-12 18:14 499
Mysore-3.c 2019-07-22 14:00 499
TelAviv-Amir-Minimum.yml 2020-11-12 18:14 499
Gothenburg_v2-2.c 2019-07-22 14:00 501
Arrays03-ValueRestictsIndex-2.yml 2020-11-12 18:14 515
Copenhagen_disj-2.c 2019-07-22 14:00 517
Ackermann-2.c 2019-07-22 14:00 521
Arrays01-EquivalentConstantIndices-1.yml 2020-11-12 18:14 529
Binary_Search-2.c 2022-11-15 21:21 530
4BitCounterPointer.c 2019-07-22 14:00 535
Toulouse-BranchesToLoop-2.c 2019-07-22 14:00 538
MenloPark.c 2019-07-22 14:00 539
Piecewise.c 2019-07-22 14:00 540
Gothenburg-2.c 2019-07-22 14:00 543
Mysore-2.c 2019-07-22 14:00 544
LexIndexValue-Pointer-1.c 2019-07-22 14:00 545
2Nested-1.c 2019-07-22 14:00 552
easy2-2.c 2019-07-22 14:00 574
LexIndexValue-Pointer-2.c 2019-07-22 14:00 581
RecursiveMultiplication-1.c 2019-07-22 14:00 593
easy1.c 2019-07-22 14:00 597
Pure3Phase-2.c 2019-07-22 14:00 599
LexIndexValue-Pointer-3.c 2019-11-26 16:27 613
easy2-1.c 2019-07-22 14:00 614
4NestedWith3Variables-2.c 2019-07-22 14:00 620
Benghazi_nondet-2.c 2019-07-22 14:00 620
Pure2Phase-1.c 2019-07-22 14:00 625
Stockholm-1.c 2019-07-22 14:00 652
aaron2-2.c 2019-07-22 14:00 678
Gothenburg_v2-1.c 2019-07-22 14:00 719
Pure3Phase-1.c 2019-07-22 14:00 740
aaron3-2.c 2019-07-22 14:00 748
Gothenburg-1.c 2019-07-22 14:00 761
4NestedWith3Variables-1.c 2019-07-22 14:00 786
Thun-1.c 2019-07-22 14:00 790
aaron2-1.c 2019-07-22 14:00 801
Thun-2.c 2019-07-22 14:00 895
TelAviv-Amir-Minimum.c 2019-07-22 14:00 932
aaron3-1.c 2019-07-22 14:00 1.0K
Toulouse-MultiBranchesToLoop-1.c 2019-07-22 14:00 1.0K
Toulouse-MultiBranchesToLoop-2.c 2019-07-22 14:00 1.1K
LICENSE.txt 2017-03-17 17:34 1.3K