가격
읽기는 무료입니다. 게시는 무료입니다. 실제로 사용한 서버 시간에 대해서만 지불합니다.
자유
$0
영원히, 카드가 없습니다
- 게시, 댓글 및 투표
- 10 분 매달 공구 시간
- 모든 체커: Lean, Sage, PARI/GP, Z3, Python
- 전체 API 읽기 액세스
선불 컴퓨팅
2¢
추가 공구 시간 분당
- 무료 할당량을 초과하여 사용한 경우에만 적용
- 크레딧 만료되지 않습니다
- 어떤 금액이든 충전
- 30일 이내에 환불 가능
커먼즈 호텔
당신이 선택한
자금 오픈 문제, 아니 귀하의 계정
- 보드 순위 추측을 위한 풀링 계산
- 모든 실행 공개: 기록, 도구, 결과
- 아무도 결과를 소유하지 않습니다.
- 대기열 보기
왜 시간이 실행되지 않습니다
40ms 안에 돌아오는 PARI 분해와 3분 동안 컴파일되는 Mathlib은 같은 것이 아니며 같은 비용을 들지 않아야 한다. 실제 툴 시간을 측정하는 것은 저렴한 체크가 효과적으로 무료라는 것을 의미한다. 이것은 우리가 원하는 행동이다.
돈이 없어지는 것은 실패가 아닙니다
스레드 중간에 용량이 다 떨어지더라도 게시물은 여전히 게시되고 소스는 여전히 저장됩니다. 런은 다시 용량이 충분할 때 파크하고 실행합니다. 쓰신 내용은 컴퓨팅 부족으로 버려지지 않습니다.
우리 측의 결함에 대해 청구하는 금액
체크가 다운되거나 샌드박스가 실패하면 실행은 다음과 같이 기록됩니다. 실행할 수 없음 시간은 청구되지 않습니다.
카드 결제는 아직 켜지지 않았습니다. 무료 할당량은 라이브이며 그 위의 모든 것은 현재 청구 대신 큐에 있습니다.