Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
website/ 2015-10-08 03:44 -
uninterpreted_functions/ 2016-10-22 08:47 -
regression/ 2024-10-12 21:50 -
arrays/ 2017-11-16 06:20 -
![[TXT]](/icons/text.gif){kind=icon}
simple-scaled250.bpl 2015-10-08 03:44 16K
bound-scaled600.bpl 2015-10-08 03:44 15K
simple-scaled200.bpl 2015-10-08 03:44 13K
bound-scaled400.bpl 2015-10-08 03:44 10K
simple-scaled100.bpl 2015-10-08 03:44 6.1K
yPositive-SIscaled100.bpl 2015-10-08 03:44 5.1K
bound-scaled200.bpl 2015-10-08 03:44 4.9K
yPositive-SIscaled75.bpl 2015-10-08 03:44 3.8K
yPositive-SIscaled50.bpl 2015-10-08 03:44 2.6K
Nangang-FakeDisjunction.bpl 2017-11-16 06:20 1.8K
BradleyMannaSipma-2005ICALP-Fig2.bpl 2015-10-08 03:44 1.3K
MultiphaseOnlyInThesis.c 2015-10-08 03:44 1.1K
![[ ]](/icons/p.gif){kind=icon}
simple-scaled.py 2015-10-08 03:44 1.0K
yPositive-SIscaled.py 2015-10-08 03:44 853
CrazySpirals.bpl 2015-10-08 03:44 834
MenloPark2.bpl 2015-10-08 03:44 791
LTL_Coolant_Nonterminating01.bpl 2015-10-08 03:44 780
Madrid.bpl 2015-10-08 03:44 764
Konstanz.bpl 2016-08-03 17:34 761
4NestedWith3Variables.bpl 2015-10-08 03:44 737
![[ ]](/icons/unknown.gif){kind=icon}
2013POPL-BenAmGen-Ex4.2.bpl 2015-10-08 03:44 736
BradleyMannaSipma-2005ICALP-Fig1.bpl 2015-10-08 03:44 732
bound-scaled.py 2015-10-08 03:44 730
Vienna.c 2015-10-08 03:44 727
ConjunctiveLoopWithoutNestedRF.bpl 2015-10-08 03:44 725
Garmisch.bpl 2015-10-08 03:44 715
MultiphaseRotation180_2.bpl 2015-10-08 03:44 701
Thun.bpl 2015-10-08 03:44 696
MultiphaseRotation53nondet.bpl 2015-10-08 03:44 694
WaldkirchWithIrrelevantNotequals.bpl 2015-10-08 03:44 636
BradleyMannaSipma-2005ICALP-Fig1-deterministic.bpl 2015-10-08 03:44 626
Boulder.bpl 2015-10-08 03:44 616
ZenoWithoutDivision.bpl 2015-10-08 03:44 615
NonterminationDifficult08_Int.bpl 2015-12-16 14:07 614
SantaBarbara01.bpl 2015-10-08 03:44 611
FourPhase.bpl 2015-10-08 03:44 611
PodelskiRybalchenko-VMCAI2004-Ex2.bpl 2015-10-08 03:44 606
Dresden.bpl 2015-10-08 03:44 604
yPositive-MixedIntReal.bpl 2015-10-08 03:44 598
Bangalore3.bpl 2015-10-08 03:44 595
Gcd_havoc.bpl 2015-10-08 03:44 592
ConjunctiveLassoDifficultNonterminating.bpl 2015-10-08 03:44 590
ConjunctiveLassoDifficultTerminating.bpl 2015-10-08 03:44 587
SanDiego.bpl 2015-10-08 03:44 570
MultiphaseRotation180.bpl 2015-10-08 03:44 558
GulwaniResetBranchOnly.bpl 2015-10-08 03:44 553
RebihaMouraMatringe-CoRR2014-Example1.1.bpl 2015-10-08 03:44 551
ExponentialGrowth.bpl 2015-10-08 03:44 540
BenAmram-2010LMCS-Ex2.3.bpl 2015-10-08 03:44 535
MultiphaseRotation53.bpl 2015-10-08 03:44 529
Wellington.bpl 2015-10-08 03:44 527
NonterminationDifficult03.bpl 2015-10-08 03:44 522
CooperatingT2_consts1.bpl 2015-10-08 03:44 519
Benghazi.bpl 2015-10-08 03:44 511
2013POPL-BenAmGen-Ex3.20-Real.bpl 2015-10-08 03:44 505
Gulwani.bpl 2015-10-08 03:44 504
UnboundedDecrease.bpl 2015-10-08 03:44 487
MenloPark.bpl 2015-10-08 03:44 482
NonterminationDifficult09_Wolfsburg.bpl 2015-10-08 03:44 477
GcdNew.bpl 2015-10-08 03:44 474
2013POPL-BenAmGen-Ex3.20.bpl 2015-10-08 03:44 469
NonterminationDifficult04.bpl 2015-10-08 03:44 461
MultiPhase1.bpl 2015-10-08 03:44 454
Glastonbury.bpl 2015-10-08 03:44 454
3Phase.bpl 2015-10-08 03:44 451
Nyala-TwoLex.bpl 2015-10-08 03:44 447
NonterminationDifficult10_0FTW.bpl 2015-12-16 14:07 442
NonterminationDifficult06.bpl 2015-10-08 03:44 437
Edmonton.bpl 2015-10-08 03:44 427
WaldkirchSuggental.bpl 2015-10-08 03:44 423
NonterminationDifficult07_Hanoi_plus.bpl 2015-10-08 03:44 421
OpposedDisjuncts.bpl 2015-10-08 03:44 413
Barcelona.bpl 2015-10-08 03:44 413
NonTerminationPartitioned.bpl 2015-10-08 03:44 404
NonterminationNilpotentComponents.bpl 2016-01-12 18:58 404
ThunPower2.bpl 2015-10-08 03:44 402
Dhaka.bpl 2015-10-08 03:44 400
WaldkirchWithCruft.bpl 2015-10-08 03:44 398
Gcd.bpl 2015-10-08 03:44 397
ZhuGuang.bpl 2015-10-08 03:44 385
Braverman-2006CAV-Ex1-int.bpl 2015-10-08 03:44 385
2013POPL-BenAmGen-Ex3.6.bpl 2015-10-08 03:44 384
NonterminationDifficult05_ComplexEigenvalues.bpl 2015-10-08 03:44 382
Gothenburg.bpl 2015-10-08 03:44 380
3Parallel.bpl 2015-10-08 03:44 378
DecreasingInvariant.bpl 2015-10-08 03:44 368
Pure2Phase.bpl 2015-10-08 03:44 366
BangaloreStrictIneq.bpl 2015-10-08 03:44 365
NonterminationDifficult08.bpl 2015-10-08 03:44 363
MunichWithInvariant.bpl 2015-12-16 14:07 363
NonTerminationSameEigenvalues.bpl 2018-04-05 15:06 362
Cairo.bpl 2015-10-08 03:44 358
SantaBarbara02.bpl 2015-10-08 03:44 357
NonTerminationMykonos01.bpl 2021-02-19 15:38 356
NonTerminationProjection01.bpl 2018-03-23 10:46 351
SyntaxSupportMixedIntReal2.bpl 2023-03-16 09:31 349
5Phase.bpl 2015-10-08 03:44 348
Hammereisenbach-AlternatingBranches_false-termination.c 2016-08-03 17:34 347
NewYork01.bpl 2021-02-19 15:38 344
Ramciel.bpl 2015-10-08 03:44 343
NonTerminationOverReals.bpl 2015-10-08 03:44 343
IncreasingSI.bpl 2015-10-08 03:44 339
4Phase.bpl 2015-10-08 03:44 335
Munich.bpl 2015-12-16 14:07 334
NonTerminationSimple8.bpl 2015-10-08 03:44 333
linRakWithNonTrivialSI01.bpl 2015-10-08 03:44 331
Mysore.bpl 2015-10-08 03:44 329
BooleanSwap.bpl 2015-10-08 03:44 324
Schaafheim_false-termination.c 2016-08-03 17:34 321
Rotation02.bpl 2015-10-08 03:44 316
NonterminationDifficult02.bpl 2015-10-08 03:44 313
LexConj-Ben-Amram.bpl 2015-10-08 03:44 303
Stockholm.bpl 2015-10-08 03:44 299
Division.bpl 2015-10-08 03:44 298
Bangalore.bpl 2015-10-08 03:44 298
Lobnya-Boolean-Reordered.bpl 2015-10-08 03:44 297
WaldkirchSiensbach.bpl 2015-10-08 03:44 296
IntegerVsRealSimple.bpl 2015-10-08 03:44 294
MultiLex.bpl 2015-10-08 03:44 293
Lobnya-Boolean.bpl 2015-10-08 03:44 290
NonterminationDifficult11_UpperTriangularDifferentEigenvalue.bpl 2016-01-12 18:58 289
NonterminationDifficult01.bpl 2015-10-08 03:44 283
SyntaxSupportConst03.bpl 2015-10-08 03:44 280
WaldkirchNegativeBound.bpl 2015-10-08 03:44 279
NonTermination2.bpl 2015-10-08 03:44 279
Mysore2.bpl 2015-10-08 03:44 277
CopenhagenWithTmp.bpl 2015-10-08 03:44 277
Collatz.bpl 2015-10-08 03:44 277
NonTerminationChangeOfBasisDemonstration01.bpl 2018-03-14 14:12 276
Moscow.bpl 2015-10-08 03:44 276
PuertoRico.bpl 2015-10-08 03:44 274
LoopUnsat.bpl 2015-10-08 03:44 272
SyntaxSupportFunctions01.bpl 2016-09-14 22:32 269
NonterminationDifficult12_LeMans.bpl 2016-09-14 22:32 267
Bangalore.c 2015-10-08 03:44 266
NonterminationDifficult08_ThreeHomogenized.bpl 2015-12-21 15:46 264
NonTerminationRotation.bpl 2015-10-08 03:44 261
NonTerminationFixedPoint.bpl 2015-10-08 03:44 260
Damaskus.bpl 2015-10-08 03:44 260
Bangalore2.bpl 2015-10-08 03:44 256
NonTerminationSimple.bpl 2015-10-08 03:44 255
DivisionTerminating.bpl 2015-10-08 03:44 253
NonTerminationSimple4.bpl 2015-10-08 03:44 246
CopenhagenYis0.bpl 2015-10-08 03:44 239
NonTermination3.bpl 2015-10-08 03:44 238
NonTermination1.bpl 2015-10-08 03:44 231
Khartoum.bpl 2015-10-08 03:44 231
SyntaxSupportUserDefinedTypes01.bpl 2015-10-08 03:44 230
Cairo2.bpl 2015-10-08 03:44 229
NonterminationCAV_03.bpl 2016-02-03 18:56 222
NonterminationCAV_02.bpl 2016-02-03 18:56 222
NonterminationCAV_01.bpl 2016-02-03 18:56 219
Selestat.bpl 2015-10-08 03:44 215
Kinshasa.bpl 2015-10-08 03:44 207
NonTerminationSimple7.bpl 2015-10-08 03:44 204
NonTerminationSimple6.bpl 2015-10-08 03:44 204
Modulo.bpl 2015-10-08 03:44 193
NonTerminationReal.bpl 2015-10-08 03:44 192
SyntaxSupportBitwiseOperations01.c 2016-09-14 22:32 164
Waldkirch.c 2015-10-08 03:44 158