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