Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / prologmud_server / ontologyportal_sumo / tests / TPTP /
.gitattributesNov 10, 2022, 6:31:22 AM113 B
SP01SMp.tffNov 10, 2022, 6:31:22 AM1021 B
SP01SMp.tptpNov 10, 2022, 6:31:22 AM992 B
SP01SMpf.tffNov 10, 2022, 6:31:22 AM1018 B
SP01SMpf.tptpNov 10, 2022, 6:31:22 AM999 B
SP01Sp.tffNov 10, 2022, 6:31:22 AM1007 B
SP01Sp.tptpNov 10, 2022, 6:31:22 AM988 B
SP02SMp.tffNov 10, 2022, 6:31:22 AM676 B
SP02SMp.tptpNov 10, 2022, 6:31:22 AM677 B
SP02SMpf.tffNov 10, 2022, 6:31:22 AM683 B
SP02SMpf.tptpNov 10, 2022, 6:31:22 AM684 B
SP02Sp.tffNov 10, 2022, 6:31:22 AM672 B
SP02Sp.tptpNov 10, 2022, 6:31:22 AM673 B
SP03SMp.tffNov 10, 2022, 6:31:22 AM704 B
SP03SMp.tptpNov 10, 2022, 6:31:22 AM705 B
SP03SMpf.tffNov 10, 2022, 6:31:22 AM711 B
SP03SMpf.tptpNov 10, 2022, 6:31:22 AM712 B
SP03Sp.tffNov 10, 2022, 6:31:22 AM700 B
SP03Sp.tptpNov 10, 2022, 6:31:22 AM701 B
SP04SMp.tffNov 10, 2022, 6:31:22 AM940 B
SP04SMp.tptpNov 10, 2022, 6:31:22 AM931 B
SP04SMpf.tffNov 10, 2022, 6:31:22 AM940 B
SP04SMpf.tptpNov 10, 2022, 6:31:22 AM931 B
SP04Sp.tffNov 10, 2022, 6:31:22 AM936 B
SP04Sp.tptpNov 10, 2022, 6:31:22 AM927 B
SP26SMp.tffNov 10, 2022, 6:31:22 AM1.15 KiB
SP26SMp.tptpNov 10, 2022, 6:31:22 AM1.12 KiB
SP26SMpf.tffNov 10, 2022, 6:31:22 AM1.16 KiB
SP26SMpf.tptpNov 10, 2022, 6:31:22 AM1.13 KiB
SP26SMTp.tffNov 10, 2022, 6:31:22 AM1.15 KiB
SP26Sp.tffNov 10, 2022, 6:31:22 AM1.14 KiB
SP26Sp.tptpNov 10, 2022, 6:31:22 AM1.12 KiB
SP37SMp.tffNov 10, 2022, 6:31:22 AM1.22 KiB
SP37SMp.tptpNov 10, 2022, 6:31:22 AM1.22 KiB
SP37SMpf.tffNov 10, 2022, 6:31:22 AM1.23 KiB
SP37SMpf.tptpNov 10, 2022, 6:31:22 AM1.22 KiB
SP37Sp.tffNov 10, 2022, 6:31:22 AM1.22 KiB
SP37Sp.tptpNov 10, 2022, 6:31:22 AM1.21 KiB
SUMO.tffNov 10, 2022, 6:31:22 AM8.37 MiB
SUMO.tptpNov 10, 2022, 6:31:22 AM5.76 MiB
SUMOMILO.tffNov 10, 2022, 6:31:22 AM22.04 MiB
SUMOMILO.tptpNov 10, 2022, 6:31:22 AM16.47 MiB
SUMOMILODomains.tffNov 10, 2022, 6:31:38 AM177.52 MiB
SUMOMILOTrans.tffNov 10, 2022, 6:31:22 AM24.03 MiB
SUMOMILOTrans.tptpNov 10, 2022, 6:31:22 AM18.02 MiB
TQG10SMp.tffNov 10, 2022, 6:31:22 AM770 B
TQG10SMp.tptpNov 10, 2022, 6:31:22 AM756 B
TQG10SMpf.tffNov 10, 2022, 6:31:22 AM762 B
TQG10SMpf.tptpNov 10, 2022, 6:31:22 AM763 B
TQG10Sp.tffNov 10, 2022, 6:31:22 AM751 B
TQG10Sp.tptpNov 10, 2022, 6:31:22 AM752 B
TQG11SM.tffNov 10, 2022, 6:31:22 AM0 B
TQG11SMp.tffNov 10, 2022, 6:31:22 AM76 B
TQG11SMpf.tffNov 10, 2022, 6:31:22 AM83 B
TQG11Sp.tffNov 10, 2022, 6:31:22 AM72 B
TQG12SMp.tffNov 10, 2022, 6:31:22 AM494 B
TQG12SMp.tptpNov 10, 2022, 6:31:22 AM492 B
TQG12SMpf.tffNov 10, 2022, 6:31:22 AM498 B
TQG12SMpf.tptpNov 10, 2022, 6:31:22 AM499 B
TQG12Sp.tffNov 10, 2022, 6:31:22 AM487 B
TQG12Sp.tptpNov 10, 2022, 6:31:22 AM488 B
TQG13SMp.tffNov 10, 2022, 6:31:22 AM275 B
TQG13SMp.tptpNov 10, 2022, 6:31:22 AM269 B
TQG13SMpf.tffNov 10, 2022, 6:31:22 AM275 B
TQG13SMpf.tptpNov 10, 2022, 6:31:22 AM276 B
TQG13Sp.tffNov 10, 2022, 6:31:22 AM264 B
TQG13Sp.tptpNov 10, 2022, 6:31:22 AM265 B
TQG14SMp.tffNov 10, 2022, 6:31:22 AM596 B
TQG14SMp.tptpNov 10, 2022, 6:31:22 AM597 B
TQG14SMpf.tffNov 10, 2022, 6:31:22 AM603 B
TQG14SMpf.tptpNov 10, 2022, 6:31:22 AM604 B
TQG14Sp.tffNov 10, 2022, 6:31:22 AM592 B
TQG14Sp.tptpNov 10, 2022, 6:31:22 AM593 B
TQG15SMp.tffNov 10, 2022, 6:31:22 AM518 B
TQG15SMp.tptpNov 10, 2022, 6:31:22 AM519 B
TQG15SMpf.tffNov 10, 2022, 6:31:22 AM525 B
TQG15SMpf.tptpNov 10, 2022, 6:31:22 AM526 B
TQG15Sp.tffNov 10, 2022, 6:31:22 AM514 B
TQG15Sp.tptpNov 10, 2022, 6:31:22 AM515 B
TQG16SMp.tffNov 10, 2022, 6:31:22 AM861 B
TQG16SMp.tptpNov 10, 2022, 6:31:22 AM862 B
TQG16SMpf.tffNov 10, 2022, 6:31:22 AM868 B
TQG16SMpf.tptpNov 10, 2022, 6:31:22 AM869 B
TQG16Sp.tffNov 10, 2022, 6:31:22 AM857 B
TQG16Sp.tptpNov 10, 2022, 6:31:22 AM858 B
TQG17SMp.tffNov 10, 2022, 6:31:22 AM752 B
TQG17SMp.tptpNov 10, 2022, 6:31:22 AM753 B
TQG17SMpf.tffNov 10, 2022, 6:31:22 AM759 B
TQG17SMpf.tptpNov 10, 2022, 6:31:22 AM760 B
TQG17Sp.tffNov 10, 2022, 6:31:22 AM748 B
TQG17Sp.tptpNov 10, 2022, 6:31:22 AM749 B
TQG18SMp.tffNov 10, 2022, 6:31:22 AM628 B
TQG18SMp.tptpNov 10, 2022, 6:31:22 AM629 B
TQG18SMpf.tffNov 10, 2022, 6:31:22 AM635 B
TQG18SMpf.tptpNov 10, 2022, 6:31:22 AM636 B
TQG18Sp.tffNov 10, 2022, 6:31:22 AM624 B
TQG18Sp.tptpNov 10, 2022, 6:31:22 AM625 B
TQG19SM.tffNov 10, 2022, 6:31:22 AM0 B
TQG19SMp.tffNov 10, 2022, 6:31:22 AM88 B
TQG19SMpf.tffNov 10, 2022, 6:31:22 AM95 B
TQG19Sp.tffNov 10, 2022, 6:31:22 AM84 B
TQG1SMp.tffNov 10, 2022, 6:31:22 AM271 B
TQG1SMp.tptpNov 10, 2022, 6:31:22 AM272 B
TQG1SMpf.tffNov 10, 2022, 6:31:22 AM278 B
TQG1SMpf.tptpNov 10, 2022, 6:31:22 AM279 B
TQG1Sp.tffNov 10, 2022, 6:31:22 AM267 B
TQG1Sp.tptpNov 10, 2022, 6:31:22 AM268 B
TQG20SM.tffNov 10, 2022, 6:31:22 AM0 B
TQG20SMp.tffNov 10, 2022, 6:31:22 AM322 B
TQG20SMpf.tffNov 10, 2022, 6:31:22 AM329 B
TQG20Sp.tffNov 10, 2022, 6:31:22 AM318 B
TQG21SM.tffNov 10, 2022, 6:31:22 AM0 B
TQG21SMp.tffNov 10, 2022, 6:31:22 AM591 B
TQG21SMpf.tffNov 10, 2022, 6:31:22 AM598 B
TQG21Sp.tffNov 10, 2022, 6:31:22 AM587 B
TQG22SMp.tffNov 10, 2022, 6:31:22 AM511 B
TQG22SMp.tptpNov 10, 2022, 6:31:22 AM505 B
TQG22SMpf.tffNov 10, 2022, 6:31:22 AM511 B
TQG22SMpf.tptpNov 10, 2022, 6:31:22 AM512 B
TQG22Sp.tffNov 10, 2022, 6:31:22 AM500 B
TQG22Sp.tptpNov 10, 2022, 6:31:22 AM501 B
TQG23SMp.tffNov 10, 2022, 6:31:22 AM3.72 KiB
TQG23SMp.tptpNov 10, 2022, 6:31:22 AM3.72 KiB
TQG23SMpf.tffNov 10, 2022, 6:31:22 AM3.73 KiB
TQG23SMpf.tptpNov 10, 2022, 6:31:22 AM3.73 KiB
TQG23Sp.tffNov 10, 2022, 6:31:22 AM3.72 KiB
TQG23Sp.tptpNov 10, 2022, 6:31:22 AM3.72 KiB
TQG24SMp.tffNov 10, 2022, 6:31:22 AM258 B
TQG24SMp.tptpNov 10, 2022, 6:31:22 AM256 B
TQG24SMpf.tffNov 10, 2022, 6:31:22 AM262 B
TQG24SMpf.tptpNov 10, 2022, 6:31:22 AM263 B
TQG24Sp.tffNov 10, 2022, 6:31:22 AM251 B
TQG24Sp.tptpNov 10, 2022, 6:31:22 AM252 B
TQG26SMp.tffNov 10, 2022, 6:31:22 AM1.16 KiB
TQG26SMp.tptpNov 10, 2022, 6:31:22 AM1.15 KiB
TQG26SMpf.tffNov 10, 2022, 6:31:22 AM1.15 KiB
TQG26SMpf.tptpNov 10, 2022, 6:31:22 AM1.15 KiB
TQG26Sp.tffNov 10, 2022, 6:31:22 AM1.15 KiB
TQG26Sp.tptpNov 10, 2022, 6:31:22 AM1.15 KiB
TQG29SMp.tffNov 10, 2022, 6:31:22 AM481 B
TQG29SMp.tptpNov 10, 2022, 6:31:22 AM479 B
TQG29SMpf.tffNov 10, 2022, 6:31:22 AM485 B
TQG29SMpf.tptpNov 10, 2022, 6:31:22 AM486 B
TQG29Sp.tffNov 10, 2022, 6:31:22 AM474 B
TQG29Sp.tptpNov 10, 2022, 6:31:22 AM475 B
TQG2SMp.tffNov 10, 2022, 6:31:22 AM1.18 KiB
TQG2SMp.tptpNov 10, 2022, 6:31:22 AM1.18 KiB
TQG2SMpf.tffNov 10, 2022, 6:31:22 AM1.18 KiB
TQG2SMpf.tptpNov 10, 2022, 6:31:22 AM1.18 KiB
TQG2Sp.tffNov 10, 2022, 6:31:22 AM1.17 KiB
TQG2Sp.tptpNov 10, 2022, 6:31:22 AM1.17 KiB
TQG30SMp.tffNov 10, 2022, 6:31:22 AM472 B
TQG30SMp.tptpNov 10, 2022, 6:31:22 AM470 B
TQG30SMpf.tffNov 10, 2022, 6:31:22 AM476 B
TQG30SMpf.tptpNov 10, 2022, 6:31:22 AM477 B
TQG30Sp.tffNov 10, 2022, 6:31:22 AM465 B
TQG30Sp.tptpNov 10, 2022, 6:31:22 AM466 B
TQG31SMp.tffNov 10, 2022, 6:31:22 AM1.56 KiB
TQG31SMp.tptpNov 10, 2022, 6:31:22 AM1.54 KiB
TQG31SMpf.tffNov 10, 2022, 6:31:22 AM1.54 KiB
TQG31SMpf.tptpNov 10, 2022, 6:31:22 AM1.55 KiB
TQG31Sp.tffNov 10, 2022, 6:31:22 AM1.53 KiB
TQG31Sp.tptpNov 10, 2022, 6:31:22 AM1.54 KiB
TQG32SMp.tffNov 10, 2022, 6:31:22 AM1.14 KiB
TQG32SMp.tptpNov 10, 2022, 6:31:22 AM1.50 KiB
TQG32SMpf.tffNov 10, 2022, 6:31:22 AM1.51 KiB
TQG32SMpf.tptpNov 10, 2022, 6:31:22 AM1.51 KiB
TQG32Sp.tffNov 10, 2022, 6:31:22 AM1.50 KiB
TQG32Sp.tptpNov 10, 2022, 6:31:22 AM1.50 KiB
TQG33SM.tffNov 10, 2022, 6:31:22 AM0 B
TQG33SMp.tffNov 10, 2022, 6:31:22 AM455 B
TQG33SMpf.tffNov 10, 2022, 6:31:22 AM462 B
TQG33Sp.tffNov 10, 2022, 6:31:22 AM451 B
TQG34SMp.tffNov 10, 2022, 6:31:22 AM382 B
TQG34SMp.tptpNov 10, 2022, 6:31:22 AM295 B
TQG34SMpf.tffNov 10, 2022, 6:31:22 AM301 B
TQG34SMpf.tptpNov 10, 2022, 6:31:22 AM302 B
TQG34Sp.tffNov 10, 2022, 6:31:22 AM290 B
TQG34Sp.tptpNov 10, 2022, 6:31:22 AM291 B
TQG35SMp.tffNov 10, 2022, 6:31:22 AM812 B
TQG35SMp.tptpNov 10, 2022, 6:31:22 AM804 B
TQG35SMpf.tffNov 10, 2022, 6:31:22 AM810 B
TQG35SMpf.tptpNov 10, 2022, 6:31:22 AM811 B
TQG35Sp.tffNov 10, 2022, 6:31:22 AM799 B
TQG35Sp.tptpNov 10, 2022, 6:31:22 AM800 B
TQG37SMp.tffNov 10, 2022, 6:31:22 AM1.04 KiB
TQG37SMp.tptpNov 10, 2022, 6:31:22 AM1.03 KiB
TQG37SMpf.tffNov 10, 2022, 6:31:22 AM1.04 KiB
TQG37SMpf.tptpNov 10, 2022, 6:31:22 AM1.04 KiB
TQG37Sp.tffNov 10, 2022, 6:31:22 AM1.03 KiB
TQG37Sp.tptpNov 10, 2022, 6:31:22 AM1.03 KiB
TQG38SMp.tffNov 10, 2022, 6:31:22 AM1.49 KiB
TQG38SMp.tptpNov 10, 2022, 6:31:22 AM1.47 KiB
TQG38SMpf.tffNov 10, 2022, 6:31:22 AM1.48 KiB
TQG38SMpf.tptpNov 10, 2022, 6:31:22 AM1.48 KiB
TQG38Sp.tffNov 10, 2022, 6:31:22 AM1.47 KiB
TQG38Sp.tptpNov 10, 2022, 6:31:22 AM1.47 KiB
TQG3SMp.tffNov 10, 2022, 6:31:22 AM289 B
TQG3SMp.tptpNov 10, 2022, 6:31:22 AM290 B
TQG3SMpf.tffNov 10, 2022, 6:31:22 AM296 B
TQG3SMpf.tptpNov 10, 2022, 6:31:22 AM297 B
TQG3Sp.tffNov 10, 2022, 6:31:22 AM285 B
TQG3Sp.tptpNov 10, 2022, 6:31:22 AM286 B
TQG47SMp.tffNov 10, 2022, 6:31:22 AM1.68 KiB
TQG47SMp.tptpNov 10, 2022, 6:31:22 AM1.68 KiB
TQG47SMpf.tffNov 10, 2022, 6:31:22 AM1.68 KiB
TQG47SMpf.tptpNov 10, 2022, 6:31:22 AM1.69 KiB
TQG47Sp.tffNov 10, 2022, 6:31:22 AM1.67 KiB
TQG47Sp.tptpNov 10, 2022, 6:31:22 AM1.67 KiB
TQG48SMp.tffNov 10, 2022, 6:31:22 AM2.62 KiB
TQG48SMp.tptpNov 10, 2022, 6:31:22 AM2.62 KiB
TQG48SMpf.tffNov 10, 2022, 6:31:22 AM2.63 KiB
TQG48SMpf.tptpNov 10, 2022, 6:31:22 AM2.63 KiB
TQG48Sp.tffNov 10, 2022, 6:31:22 AM2.62 KiB
TQG48Sp.tptpNov 10, 2022, 6:31:22 AM2.62 KiB
TQG49SMp.tffNov 10, 2022, 6:31:22 AM2.62 KiB
TQG49SMp.tptpNov 10, 2022, 6:31:22 AM2.62 KiB
TQG49SMpf.tffNov 10, 2022, 6:31:22 AM2.63 KiB
TQG49SMpf.tptpNov 10, 2022, 6:31:22 AM2.63 KiB
TQG49Sp.tffNov 10, 2022, 6:31:22 AM2.62 KiB
TQG49Sp.tptpNov 10, 2022, 6:31:22 AM2.62 KiB
TQG50SMp.tffNov 10, 2022, 6:31:22 AM1.06 KiB
TQG50SMp.tptpNov 10, 2022, 6:31:22 AM1.01 KiB
TQG50SMpf.tffNov 10, 2022, 6:31:22 AM1.01 KiB
TQG50SMpf.tptpNov 10, 2022, 6:31:22 AM1.01 KiB
TQG50Sp.tffNov 10, 2022, 6:31:22 AM1.00 KiB
TQG50Sp.tptpNov 10, 2022, 6:31:22 AM1.00 KiB
TQG5SMp.tffNov 10, 2022, 6:31:22 AM4.14 KiB
TQG5SMp.tptpNov 10, 2022, 6:31:22 AM4.14 KiB
TQG5SMpf.tffNov 10, 2022, 6:31:22 AM4.15 KiB
TQG5SMpf.tptpNov 10, 2022, 6:31:22 AM4.15 KiB
TQG5Sp.tffNov 10, 2022, 6:31:22 AM4.13 KiB
TQG5Sp.tptpNov 10, 2022, 6:31:22 AM4.14 KiB
TQG6SMp.tffNov 10, 2022, 6:31:22 AM730 B
TQG6SMp.tptpNov 10, 2022, 6:31:22 AM722 B
TQG6SMpf.tffNov 10, 2022, 6:31:22 AM737 B
TQG6SMpf.tptpNov 10, 2022, 6:31:22 AM729 B
TQG6Sp.tffNov 10, 2022, 6:31:22 AM717 B
TQG6Sp.tptpNov 10, 2022, 6:31:22 AM718 B
TQG7SMp.tffNov 10, 2022, 6:31:22 AM710 B
TQG7SMp.tptpNov 10, 2022, 6:31:22 AM711 B
TQG7SMpf.tffNov 10, 2022, 6:31:22 AM717 B
TQG7SMpf.tptpNov 10, 2022, 6:31:22 AM718 B
TQG7Sp.tffNov 10, 2022, 6:31:22 AM706 B
TQG7Sp.tptpNov 10, 2022, 6:31:22 AM707 B
TQG8SMp.tffNov 10, 2022, 6:31:22 AM335 B
TQG8SMp.tptpNov 10, 2022, 6:31:22 AM336 B
TQG8SMpf.tffNov 10, 2022, 6:31:22 AM342 B
TQG8SMpf.tptpNov 10, 2022, 6:31:22 AM343 B
TQG8Sp.tffNov 10, 2022, 6:31:22 AM331 B
TQG8Sp.tptpNov 10, 2022, 6:31:22 AM332 B
TQG9SMp.tffNov 10, 2022, 6:31:22 AM183 B
TQG9SMp.tptpNov 10, 2022, 6:31:22 AM181 B
TQG9SMpf.tffNov 10, 2022, 6:31:22 AM187 B
TQG9SMpf.tptpNov 10, 2022, 6:31:22 AM188 B
TQG9Sp.tffNov 10, 2022, 6:31:22 AM176 B
TQG9Sp.tptpNov 10, 2022, 6:31:22 AM177 B