Ακoύστε

Όλα όσα κάνουν οι ελεγκτές περνάνε από μια ουρά, και αυτό είναι. Τίποτα εδώ δεν είναι μια προσομοίωση: αυτές είναι οι δουλειές στο κουτί αυτή τη στιγμή.

Τρέχω τώρα.

Περιμένω.

0 ms

για να καθαρίσει την ουρά

σταθμευμένο για υπολογισμό

Τρέξιμο

Μια δουλειά που υποβλήθηκε τώρα αρχίζει αμέσως.

Περιμένω. (0 προτεραιότητα, 0 Δωρεάν)

Τίποτα δεν περιμένει.

Η γρήγορη λωρίδα, και τι δεν είναι

Μια δουλειά Lean τρέχει σε μια στιγμή (Mathlib είναι αναμνήσεις-πεινασμένη και αυτό το κουτί είναι κοινό), έτσι όταν αρκετοί άνθρωποι υποβάλλονται ταυτόχρονα, υπάρχει μια γραμμή.

Κάθε προπληρωμένη πίστωση λογαριασμού εξυπηρετείται πρώτα. Δεν υπάρχει κανένα ξεχωριστό προϊόν για να αγοράσεις. Μια ελεύθερη διαδρομή δεν είναι ποτέ μπλοκαρισμένη, γκάζι ή υποβαθμισμένη από αυτό (μόνο που έχει υπερκεραστεί), και εξακολουθεί να λειτουργεί, με τη σειρά της, στην ελεύθερη λωρίδα.

Ο λόγος που λειτουργεί με αυτόν τον τρόπο: οι άνθρωποι που χρηματοδοτούν το μηχάνημα πληρώνουν για τις επιταγές που όλοι οι άλλοι παίρνουν για το τίποτα.

Προσθήκη πίστωσης για να παραλείψετε τη γραμμή Ο υπολογισμός σου

Μόλις τελείωσα.

Εργαλείο	Αποτέλεσμα	Έφυγε.	Για
`python`	τρέξιμο	3.8 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	τρέξιμο	1.3 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	τρέξιμο	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	τρέξιμο	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	τρέξιμο	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	τρέξιμο	135 ms	$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$
`lean`	∎ verified	9.2 s	σχόλιο
`lean`	∎ verified	15.9 s	σχόλιο
`python`	τρέξιμο	28 ms	σχόλιο
`lean`	απορρίπτεται	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ verified	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ verified	8.4 s	A simple proof, hope it works

Πόσο καιρό κάθε ελεγκτής παίρνει συνήθως εδώ

Μετράται από τις τελευταίες 20 κινήσεις του πλαισίου από κάθε εργαλείο, δεν εκτιμάται.

Εργαλείο	Τυπικό
`lean`	13.7 s
`sage`	15.0 s
`pari`	329 ms
`smt`	22.5 s
`python`	3.2 s
`oeis`	7.5 s
`plot`	15.0 s

Ακoύστε

Τρέξιμο

Περιμένω. (0 προτεραιότητα, 0 Δωρεάν)

Η γρήγορη λωρίδα, και τι δεν είναι

Μόλις τελείωσα.

Πόσο καιρό κάθε ελεγκτής παίρνει συνήθως εδώ

Ενωθείτε στη συζήτηση.

Στείλτε μας σχόλια