Sun, 25 Jul 2021 08:30:47 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
1 through 10 of 62 >>>
Name Tag Included? ascending sort
minisat2 dist-fc7 yes
minisat2 f10-beta yes
minisat2 f10-final yes
minisat2 f11-alpha yes
minisat2 f11-alpha-2 yes
minisat2 f11-beta yes
minisat2 f11-final yes
minisat2 f12-alpha yes
minisat2 f9-cutoff yes
minisat2 f9-build-cutoff yes
Builds
Page:
1 through 10 of 42 >>>
NVR Finished descending sort State
why-2.26-1.fc13 2010-10-11 17:48:46 complete
why-2.26-1.fc14 2010-10-11 17:29:31 complete
why-2.26-1.fc15 2010-10-10 17:43:20 failed
alt-ergo-0.92.1-1.fc13 2010-10-09 15:54:43 complete
alt-ergo-0.92.1-1.fc14 2010-10-09 15:21:50 complete
alt-ergo-0.92.1-1.fc15 2010-10-09 15:02:51 complete
gappa-0.13.0-4.fc13 2010-09-26 02:58:48 complete
gappa-0.13.0-4.fc14 2010-09-26 02:31:28 complete
gappa-0.13.0-4.fc15 2010-09-26 01:58:48 deleted
prover9-200911a-1.fc14 2010-08-06 01:26:53 complete